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.c | |
parent | ece37d66ae394a0d783f3cba8a71d7b61735b0aa (diff) | |
download | gnumach-827c01fadb98e77f692d39d0fb34a1944e43c99b.tar.gz gnumach-827c01fadb98e77f692d39d0fb34a1944e43c99b.tar.bz2 gnumach-827c01fadb98e77f692d39d0fb34a1944e43c99b.zip |
kern: qualify pointers whose dereferenced values are constant with const
Diffstat (limited to 'kern/debug.c')
-rw-r--r-- | kern/debug.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/kern/debug.c b/kern/debug.c index add2accd..fd392d21 100644 --- a/kern/debug.c +++ b/kern/debug.c @@ -51,7 +51,7 @@ do_cnputc(char c, vm_offset_t offset) } void -Assert(char *exp, char *file, int line) +Assert(const char *exp, const char *file, int line) { #if NCPUS > 1 simple_lock(&Assert_print_lock); @@ -67,7 +67,7 @@ Assert(char *exp, char *file, int line) } void SoftDebugger(message) - char * message; + const char *message; { printf("Debugger invoked: %s\n", message); @@ -99,7 +99,7 @@ void SoftDebugger(message) } void Debugger(message) - char * message; + const char *message; { #if !MACH_KDB panic("Debugger invoked, but there isn't one!"); |