diff options
Diffstat (limited to 'i386/i386at/model_dep.h')
-rw-r--r-- | i386/i386at/model_dep.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/i386/i386at/model_dep.h b/i386/i386at/model_dep.h index 3a5749f..11c6451 100644 --- a/i386/i386at/model_dep.h +++ b/i386/i386at/model_dep.h @@ -23,4 +23,9 @@ 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)); + +void inittodr(void); + #endif /* _MODEL_DEP_H_ */ |