cpu_machdep_init  108 kern/include/cpu.h void cpu_machdep_init(struct cpu *);
cpu_machdep_init  225 kern/thread/thread.c 	cpu_machdep_init(c);