--- Gnu-Mach/kern/debug.h	2020/09/02 04:45:13	1.1.1.3
+++ Gnu-Mach/kern/debug.h	2020/09/02 04:47:26	1.1.1.4
@@ -62,7 +62,7 @@ extern void log (int level, const char *
 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));
+extern void SoftDebugger (const char *message);
+extern void Debugger (const char *message) __attribute__ ((noreturn));
 
 #endif /* _mach_debug__debug_ */