minix/include/ddekit/panic.h

   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