c_hardware_number  143 kern/dev/lamebus/lamebus.c 				curcpu->c_hardware_number = i;
c_hardware_number  591 kern/dev/lamebus/lamebus.c 	write_ctlcpu_register(lamebus, target->c_hardware_number,
c_hardware_number  598 kern/dev/lamebus/lamebus.c 	write_ctlcpu_register(lamebus, target->c_hardware_number,
c_hardware_number   55 kern/include/cpu.h 	unsigned c_hardware_number;	/* Hardware-defined cpu number */
c_hardware_number  178 kern/thread/thread.c 	c->c_hardware_number = hardware_number;