taglinefilesource code
APIC_ICR2523arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR2);
APIC_ICR2525arch/i386/kernel/smp.capic_write(APIC_ICR2, cfg|SET_APIC_DEST_FIELD(i));      /* Target chip       */
APIC_ICR2675arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR2);
APIC_ICR2677arch/i386/kernel/smp.capic_write(APIC_ICR2, cfg|SET_APIC_DEST_FIELD(target));      /* Target chip         */