taglinefilesource code
APIC_ICR760arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR);
APIC_ICR764arch/i386/kernel/smp.capic_write(APIC_ICR, cfg);            /* Send IPI */
APIC_ICR772arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR);
APIC_ICR776arch/i386/kernel/smp.capic_write(APIC_ICR, cfg);            /* Send IPI */
APIC_ICR809arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR);
APIC_ICR814arch/i386/kernel/smp.capic_write(APIC_ICR, cfg);            /* Kick the second   */
APIC_ICR819arch/i386/kernel/smp.c} while ( (send_status = (apic_read(APIC_ICR) & 0x1000))
APIC_ICR1008arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR);
APIC_ICR1029arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR);
APIC_ICR1059arch/i386/kernel/smp.capic_write(APIC_ICR, cfg);