diff options
Diffstat (limited to 'i386/i386at/model_dep.c')
| -rw-r--r-- | i386/i386at/model_dep.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/i386/i386at/model_dep.c b/i386/i386at/model_dep.c index 9ccc7551..7a679ba4 100644 --- a/i386/i386at/model_dep.c +++ b/i386/i386at/model_dep.c @@ -278,11 +278,6 @@ void halt_all_cpus(boolean_t reboot) machine_idle (cpu_number ()); } -void exit(int rc) -{ - halt_all_cpus(0); -} - void db_halt_cpu(void) { halt_all_cpus(0); |