mainbus_reboot     66 kern/include/mainbus.h void mainbus_reboot(void);
mainbus_reboot    189 kern/startup/main.c 		mainbus_reboot();