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/machine.c | |
| parent | ece37d66ae394a0d783f3cba8a71d7b61735b0aa (diff) | |
kern: qualify pointers whose dereferenced values are constant with const
Diffstat (limited to 'kern/machine.c')
| -rw-r--r-- | kern/machine.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/kern/machine.c b/kern/machine.c index 8a33327..5d1ea34 100644 --- a/kern/machine.c +++ b/kern/machine.c @@ -126,8 +126,8 @@ void cpu_down(cpu) kern_return_t host_reboot(host, options) - host_t host; - int options; + const host_t host; + int options; { if (host == HOST_NULL) return (KERN_INVALID_HOST); |