diff options
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 8a333271..5d1ea346 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); |