expr               63 kern/include/lib.h #define KASSERT(expr) ((void)(expr))
expr               65 kern/include/lib.h #define KASSERT(expr) \
expr               66 kern/include/lib.h 	((expr) ? (void)0 : badassert(#expr, __FILE__, __LINE__, __func__))
expr               70 kern/include/lib.h #define DEBUGASSERT(expr) ((void)(expr))
expr               72 kern/include/lib.h #define DEBUGASSERT(expr) \
expr               73 kern/include/lib.h 	((expr) ? (void)0 : badassert(#expr, __FILE__, __LINE__, __func__))
expr              182 kern/include/lib.h void badassert(const char *expr, const char *file, int line, const char *func);
expr              206 kern/lib/kprintf.c badassert(const char *expr, const char *file, int line, const char *func)
expr              209 kern/lib/kprintf.c 	      expr, file, line, func);
expr               42 user/lib/libc/unix/__assert.c __bad_assert(const char *file, int line, const char *expr)
expr               46 user/lib/libc/unix/__assert.c 		 expr, file, line);