Searched defs:ia32_apic_base (Results 1 – 1 of 1) sorted by relevance
123 uint64_t ia32_apic_base = rdmsr(0x1b); in apic_init_ap_core_local_apic() local268 uint64_t ia32_apic_base = rdmsr(0x1b); in apic_local_apic_init() local