minix/include/ddekit/panic.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#ifndef _DDEKIT_PANIC_H
#define _DDEKIT_PANIC_H
#include <ddekit/ddekit.h>
#include <stdarg.h>

/** \defgroup DDEKit_util */

/** Panic - print error message and enter the kernel debugger.
 * \ingroup DDEKit_util
 */
void ddekit_panic(char *fmt, ...);

/** Print a debug message.
 * \ingroup DDEKit_util
 */
void ddekit_debug(char *fmt, ...);

#endif