mainbus_start_cpus   46 kern/include/mainbus.h void mainbus_start_cpus(void);
mainbus_start_cpus  420 kern/thread/thread.c 	mainbus_start_cpus();