diff options
Diffstat (limited to 'libddekit/panic.c')
-rw-r--r-- | libddekit/panic.c | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/libddekit/panic.c b/libddekit/panic.c deleted file mode 100644 index 24ace989..00000000 --- a/libddekit/panic.c +++ /dev/null @@ -1,29 +0,0 @@ -#include <l4/dde/ddekit/panic.h> -#include <l4/dde/ddekit/printf.h> - -#include <l4/sys/kdebug.h> -#include <stdarg.h> - -void ddekit_panic(char *fmt, ...) { - va_list va; - - va_start(va, fmt); - ddekit_vprintf(fmt, va); - va_end(va); - ddekit_printf("\n"); - - while (1) - enter_kdebug("ddekit_panic()"); -} - -void ddekit_debug(char *fmt, ...) { - va_list va; - - va_start(va, fmt); - ddekit_vprintf(fmt, va); - va_end(va); - ddekit_printf("\n"); - - enter_kdebug("ddekit_debug()"); -} - |