diff options
author | Zheng Da <zhengda1936@gmail.com> | 2009-11-17 10:26:25 +0100 |
---|---|---|
committer | Zheng Da <zhengda1936@gmail.com> | 2009-11-17 10:26:25 +0100 |
commit | a3eba19470c09f42272dac5ca1a34bd8a5cbe834 (patch) | |
tree | 06a10087ad78bcf7bc112de767e95d3b0a849c10 /libddekit/panic.c | |
parent | e0faf22f31c48fb27b43c1825897d26e58feafc4 (diff) |
The original version of DDEKit.
Diffstat (limited to 'libddekit/panic.c')
-rw-r--r-- | libddekit/panic.c | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/libddekit/panic.c b/libddekit/panic.c new file mode 100644 index 00000000..24ace989 --- /dev/null +++ b/libddekit/panic.c @@ -0,0 +1,29 @@ +#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()"); +} + |