taglinefilesource code
apic_write430arch/i386/kernel/smp.capic_write(APIC_SPIV,l);
apic_write517arch/i386/kernel/smp.capic_write(APIC_SPIV,cfg);
apic_write527arch/i386/kernel/smp.capic_write(APIC_ICR2, cfg|SET_APIC_DEST_FIELD(i));      /* Target chip       */
apic_write531arch/i386/kernel/smp.capic_write(APIC_ICR, cfg);            /* Kick the second   */
apic_write691arch/i386/kernel/smp.capic_write(APIC_ICR2, cfg|SET_APIC_DEST_FIELD(target));      /* Target chip         */
apic_write722arch/i386/kernel/smp.capic_write(APIC_ICR, cfg);  
apic_write889arch/i386/kernel/smp.capic_write(APIC_EOI, 0);  /* Docs say use 0 for future compatibility */
apic_write937arch/i386/kernel/smp.capic_write(APIC_EOI, 0);  /* Docs say use 0 for future compatibility */