taglinefilesource code
APIC_ICR2757arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR2);
APIC_ICR2759arch/i386/kernel/smp.capic_write(APIC_ICR2, cfg|SET_APIC_DEST_FIELD(i));       /* Target chip       */
APIC_ICR2769arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR2);
APIC_ICR2771arch/i386/kernel/smp.capic_write(APIC_ICR2, cfg|SET_APIC_DEST_FIELD(i));      /* Target chip       */
APIC_ICR2806arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR2);
APIC_ICR2808arch/i386/kernel/smp.capic_write(APIC_ICR2, cfg|SET_APIC_DEST_FIELD(i));      /* Target chip       */
APIC_ICR21026arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR2);
APIC_ICR21028arch/i386/kernel/smp.capic_write(APIC_ICR2, cfg|SET_APIC_DEST_FIELD(target));      /* Target chip         */