taglinefilesource code
apic_write428arch/i386/kernel/smp.capic_write(APIC_SPIV,l);
apic_write515arch/i386/kernel/smp.capic_write(APIC_SPIV,cfg);
apic_write525arch/i386/kernel/smp.capic_write(APIC_ICR2, cfg|SET_APIC_DEST_FIELD(i));      /* Target chip       */
apic_write529arch/i386/kernel/smp.capic_write(APIC_ICR, cfg);            /* Kick the second   */
apic_write677arch/i386/kernel/smp.capic_write(APIC_ICR2, cfg|SET_APIC_DEST_FIELD(target));      /* Target chip         */
apic_write708arch/i386/kernel/smp.capic_write(APIC_ICR, cfg);  
apic_write875arch/i386/kernel/smp.capic_write(APIC_EOI, 0);  /* Docs say use 0 for future compatibility */
apic_write923arch/i386/kernel/smp.capic_write(APIC_EOI, 0);  /* Docs say use 0 for future compatibility */