badassert          66 kern/include/lib.h 	((expr) ? (void)0 : badassert(#expr, __FILE__, __LINE__, __func__))
badassert          73 kern/include/lib.h 	((expr) ? (void)0 : badassert(#expr, __FILE__, __LINE__, __func__))