tag	line	file	source code
APIC_EOI	1076	arch/i386/kernel/smp.c	apic_write(APIC_EOI, 0);  /* Docs say use 0 for future compatibility */
APIC_EOI	1124	arch/i386/kernel/smp.c	apic_write(APIC_EOI, 0);  /* Docs say use 0 for future compatibility */