diff options
Diffstat (limited to 'i386/i386at')
| -rw-r--r-- | i386/i386at/model_dep.h | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/i386/i386at/model_dep.h b/i386/i386at/model_dep.h index 11c6451..65dc00b 100644 --- a/i386/i386at/model_dep.h +++ b/i386/i386at/model_dep.h @@ -23,8 +23,15 @@ extern int timemmap(int dev, int off, vm_prot_t prot); -void halt_all_cpus(boolean_t reboot) __attribute__ ((noreturn)); -void halt_cpu(void) __attribute__ ((noreturn)); +/* + * Halt a cpu. + */ +extern void halt_cpu (void) __attribute__ ((noreturn)); + +/* + * Halt the system or reboot. + */ +extern void halt_all_cpus (boolean_t reboot) __attribute__ ((noreturn)); void inittodr(void); |