thread_start_cpus  125 kern/include/thread.h void thread_start_cpus(void);
thread_start_cpus  127 kern/startup/main.c 	thread_start_cpus();