diff options
| author | Guy-Fleury Iteriteka <gfleury@disroot.org> | 2022-05-26 18:07:41 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2022-05-27 00:29:29 +0200 |
| commit | 151dfe9971ac2bd4d9afb440f2a5b2a4f9a58969 (patch) | |
| tree | a4f405b8d09270e20a0db24a126ec68adea1f227 /kern/machine.c | |
| parent | 96b925573917679a5899a74c1c279c734e614211 (diff) | |
convert K&R into ansi
Message-Id: <Yo+lzS7RtW5ZjQHN@debian>
Diffstat (limited to 'kern/machine.c')
| -rw-r--r-- | kern/machine.c | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/kern/machine.c b/kern/machine.c index 2fe30cee..0e1781cc 100644 --- a/kern/machine.c +++ b/kern/machine.c @@ -125,9 +125,7 @@ void cpu_down(int cpu) } kern_return_t -host_reboot(host, options) - const host_t host; - int options; +host_reboot(const host_t host, int options) { if (host == HOST_NULL) return (KERN_INVALID_HOST); @@ -623,8 +621,7 @@ Restart_pset: * running on the processor's shutdown stack. */ -void processor_doshutdown(processor) -processor_t processor; +void processor_doshutdown(processor_t processor) { int cpu = processor->slot_num; |