00001 #ifndef _ddekit_panic_h 00002 #define _ddekit_panic_h 00003 00004 /** \defgroup DDEKit_util */ 00005 00006 /** Panic - print error message and enter the kernel debugger. 00007 * \ingroup DDEKit_util 00008 */ 00009 void ddekit_panic(char *fmt, ...) __attribute__((noreturn)); 00010 00011 /** Print a debug message. 00012 * \ingroup DDEKit_util 00013 */ 00014 void ddekit_debug(char *fmt, ...); 00015 00016 #endif
