lapic_cpu_number  154 arch/i386/i386/cpu.c 	int cpunum = lapic_cpu_number();
lapic_cpu_number  196 arch/i386/i386/cpu.c 		if (cpunum != lapic_cpu_number()) {
lapic_cpu_number  199 arch/i386/i386/cpu.c 			    self->dv_xname, lapic_cpu_number(), cpunum);