taglinefilesource code
APIC_ICR528arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR);
APIC_ICR531arch/i386/kernel/smp.capic_write(APIC_ICR, cfg);            /* Kick the second   */
APIC_ICR671arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR);
APIC_ICR692arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR);
APIC_ICR722arch/i386/kernel/smp.capic_write(APIC_ICR, cfg);