taglinefilesource code
APIC_ICR526arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR);
APIC_ICR529arch/i386/kernel/smp.capic_write(APIC_ICR, cfg);            /* Kick the second   */
APIC_ICR657arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR);
APIC_ICR678arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR);
APIC_ICR708arch/i386/kernel/smp.capic_write(APIC_ICR, cfg);