tag	line	file	source code
APIC_ICR2	523	arch/i386/kernel/smp.c	cfg=apic_read(APIC_ICR2);
APIC_ICR2	525	arch/i386/kernel/smp.c	apic_write(APIC_ICR2, cfg|SET_APIC_DEST_FIELD(i));      /* Target chip       */
APIC_ICR2	675	arch/i386/kernel/smp.c	cfg=apic_read(APIC_ICR2);
APIC_ICR2	677	arch/i386/kernel/smp.c	apic_write(APIC_ICR2, cfg|SET_APIC_DEST_FIELD(target));      /* Target chip         */