hardware_number   107 kern/include/cpu.h struct cpu *cpu_create(unsigned hardware_number);
hardware_number   166 kern/thread/thread.c cpu_create(unsigned hardware_number)
hardware_number   178 kern/thread/thread.c 	c->c_hardware_number = hardware_number;