diff --git a/headers/private/kernel/debug.h b/headers/private/kernel/debug.h index 38fc5ca505..5d8a6c6373 100755 --- a/headers/private/kernel/debug.h +++ b/headers/private/kernel/debug.h @@ -30,4 +30,11 @@ int remove_debugger_command(const char * name, int (*func)(int, char **)); extern void dbg_save_registers(int *); /* arch provided */ +#if DEBUG +# define ASSERT(x) \ + { if (!(x)) panic("ASSERT FAILED (%s:%d): %s", __FILE__, __LINE__, #x); } +#else +# define ASSERT(x) #endif + +#endif /* _KERNEL_DEBUG_H */