Lines Matching defs:apic_id

2007 	unsigned int apic_id;
3240 			outp += sprintf(outp, "%s%d", (printed++ ? delim : ""), t->apic_id);
3846 		new->apic_id = old->apic_id;
4077 	/* copy un-changing apic_id's */
4079 		average.threads.apic_id = t->apic_id;
4466 		t->apic_id = (ebx >> 24) & 0xff;
4502 	if (debug && (t->apic_id != (t->x2apic_id & 0xff)))
4503 		fprintf(outf, "cpu%d: BIOS BUG: apic 0x%x x2apic 0x%x\n", t->cpu_id, t->apic_id, t->x2apic_id);