Symbol: machine_reboot
sys/arch/hp300/hp300/machdep.c
480
machine_reboot(int howto, char *bootstr)
sys/arch/mac68k/mac68k/machdep.c
457
machine_reboot(int howto, char *bootstr)
sys/arch/sun2/sun2/machdep.c
375
machine_reboot(int howto, char *bootstr)
sys/arch/sun3/sun3/machdep.c
311
machine_reboot(int howto, char *bootstr)
sys/arch/sun3/sun3x/machdep.c
308
machine_reboot(int howto, char *user_bootstr)
sys/arch/virt68k/virt68k/machdep.c
265
machine_reboot(int howto, char *bootstr)