mainbus_panic      67 kern/include/mainbus.h void mainbus_panic(void);
mainbus_panic     192 kern/lib/kprintf.c 		mainbus_panic();