cpu_identify      115 kern/include/cpu.h const char *cpu_identify(void);
cpu_identify      403 kern/thread/thread.c 	kprintf("cpu%u: %s\n", software_number, cpu_identify());
cpu_identify      417 kern/thread/thread.c 	kprintf("cpu0: %s\n", cpu_identify());