Searched refs:ia32_apic_base (Results 1 – 1 of 1) sorted by relevance
124 uint64_t ia32_apic_base = rdmsr(0x1b); in apic_init_ap_core_local_apic() local125 ia32_apic_base |= (1 << 11); in apic_init_ap_core_local_apic()128 ia32_apic_base |= (1 << 10); in apic_init_ap_core_local_apic()129 wrmsr(0x1b, ia32_apic_base); in apic_init_ap_core_local_apic()131 ia32_apic_base = rdmsr(0x1b); in apic_init_ap_core_local_apic()132 eax = ia32_apic_base & 0xffffffff; in apic_init_ap_core_local_apic()269 uint64_t ia32_apic_base = rdmsr(0x1b); in apic_local_apic_init() local272 …mm_map_phys_addr(APIC_LOCAL_APIC_VIRT_BASE_ADDR, (ia32_apic_base & 0x1FFFFFFFFFFFFF), PAGE_2M_SIZE… in apic_local_apic_init()307 ia32_apic_base = rdmsr(0x1b); in apic_local_apic_init()308 ia32_apic_base |= (1 << 11); in apic_local_apic_init()[all …]