mainbus_halt       64 kern/include/mainbus.h void mainbus_halt(void);
mainbus_halt      185 kern/startup/main.c 		mainbus_halt();