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