taglinefilesource code
APIC_ICR2742arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR2);
APIC_ICR2744arch/i386/kernel/smp.capic_write(APIC_ICR2, cfg|SET_APIC_DEST_FIELD(i));       /* Target chip       */
APIC_ICR2754arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR2);
APIC_ICR2756arch/i386/kernel/smp.capic_write(APIC_ICR2, cfg|SET_APIC_DEST_FIELD(i));      /* Target chip       */
APIC_ICR2791arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR2);
APIC_ICR2793arch/i386/kernel/smp.capic_write(APIC_ICR2, cfg|SET_APIC_DEST_FIELD(i));      /* Target chip       */
APIC_ICR21010arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR2);
APIC_ICR21012arch/i386/kernel/smp.capic_write(APIC_ICR2, cfg|SET_APIC_DEST_FIELD(target));      /* Target chip         */