diff options
Diffstat (limited to 'kern/debug.h')
| -rw-r--r-- | kern/debug.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kern/debug.h b/kern/debug.h index 287b152f..f4e8200d 100644 --- a/kern/debug.h +++ b/kern/debug.h @@ -60,6 +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_ */ |