diff options
| author | Marin Ramesa <mpr@hi.t-com.hr> | 2013-12-16 23:55:15 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-12-17 19:03:28 +0100 |
| commit | 827c01fadb98e77f692d39d0fb34a1944e43c99b (patch) | |
| tree | 46c60239eaddbcfb2f79195989c23b16c3ce55d8 /kern/debug.h | |
| parent | ece37d66ae394a0d783f3cba8a71d7b61735b0aa (diff) | |
kern: qualify pointers whose dereferenced values are constant with const
Diffstat (limited to 'kern/debug.h')
| -rw-r--r-- | kern/debug.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kern/debug.h b/kern/debug.h index e429bdd..6c8977b 100644 --- a/kern/debug.h +++ b/kern/debug.h @@ -62,7 +62,7 @@ extern void log (int level, const char *fmt, ...); 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_ */ |