1 #ifndef _DDEKIT_PANIC_H 2 #define _DDEKIT_PANIC_H 3 #include <ddekit/ddekit.h> 4 #include <stdarg.h> 5 6 /** \defgroup DDEKit_util */ 7 8 /** Panic - print error message and enter the kernel debugger. 9 * \ingroup DDEKit_util 10 */ 11 void ddekit_panic(char *fmt, ...); 12 13 /** Print a debug message. 14 * \ingroup DDEKit_util 15 */ 16 void ddekit_debug(char *fmt, ...); 17 18 #endif 19