00001 #include <l4/dde/ddekit/panic.h>
00002 #include <l4/dde/ddekit/printf.h>
00003
00004 #include <l4/sys/kdebug.h>
00005 #include <stdarg.h>
00006
00007 void ddekit_panic(char *fmt, ...) {
00008 va_list va;
00009
00010 va_start(va, fmt);
00011 ddekit_vprintf(fmt, va);
00012 va_end(va);
00013 ddekit_printf("\n");
00014
00015 while (1)
00016 enter_kdebug("ddekit_panic()");
00017 }
00018
00019 void ddekit_debug(char *fmt, ...) {
00020 va_list va;
00021
00022 va_start(va, fmt);
00023 ddekit_vprintf(fmt, va);
00024 va_end(va);
00025 ddekit_printf("\n");
00026
00027 enter_kdebug("ddekit_debug()");
00028 }
00029
