taglinefilesource code
APIC_VERSION636arch/i386/kernel/smp.creg = apic_read(APIC_VERSION);
APIC_VERSION639arch/i386/kernel/smp.capic_write(APIC_VERSION, 0);
APIC_VERSION640arch/i386/kernel/smp.creg = apic_read(APIC_VERSION);