taglinefilesource code
apic_read419arch/i386/kernel/smp.cint cpuid=GET_APIC_ID(apic_read(APIC_ID));
apic_read426arch/i386/kernel/smp.cl=apic_read(APIC_SPIV);
apic_read513arch/i386/kernel/smp.ccfg=apic_read(APIC_SPIV);
apic_read523arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR2);
apic_read526arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR);
apic_read531arch/i386/kernel/smp.ccfg=apic_read(APIC_ESR);
apic_read657arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR);
apic_read675arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR2);
apic_read678arch/i386/kernel/smp.ccfg=apic_read(APIC_ICR);
apic_read874arch/i386/kernel/smp.capic_read(APIC_SPIV);    /* Dummy read */
apic_read922arch/i386/kernel/smp.capic_read(APIC_SPIV);    /* Dummy read */
apic_read225include/asm-i386/smp.hreturn GET_APIC_ID(apic_read(APIC_ID));