software_number   110 kern/include/cpu.h void cpu_hatch(unsigned software_number);
software_number   395 kern/thread/thread.c cpu_hatch(unsigned software_number)
software_number   399 kern/thread/thread.c 	KASSERT(curcpu->c_number == software_number);
software_number   403 kern/thread/thread.c 	kprintf("cpu%u: %s\n", software_number, cpu_identify());