Symbol: machine_reboot
sys/arch/m68k/include/m68k.h
190
void machine_reboot(int, char *);
sys/arch/m68k/m68k/m68k_machdep.c
650
machine_reboot(howto, bootstr);
sys/arch/next68k/next68k/machdep.c
276
machine_reboot(RB_HALT, NULL); /* args are ignored */