diff options
Diffstat (limited to 'kern/debug.h')
| -rw-r--r-- | kern/debug.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kern/debug.h b/kern/debug.h index 64fbf8ab..f4e8200d 100644 --- a/kern/debug.h +++ b/kern/debug.h @@ -60,4 +60,7 @@ extern void panic_init(void); extern void panic (const char *s, ...) __attribute__ ((noreturn)); +extern void SoftDebugger (char *message); +extern void Debugger (char *message) __attribute__ ((noreturn)); + #endif /* _mach_debug__debug_ */ |