#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
 */
_PROTOTYPE (void ddekit_panic, (char *fmt, ...));

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

#endif
