Searched refs: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() local124 ia32_apic_base |= (1 << 11); in apic_init_ap_core_local_apic()127 ia32_apic_base |= (1 << 10); in apic_init_ap_core_local_apic()128 wrmsr(0x1b, ia32_apic_base); in apic_init_ap_core_local_apic()130 ia32_apic_base = rdmsr(0x1b); in apic_init_ap_core_local_apic()131 eax = ia32_apic_base & 0xffffffff; in apic_init_ap_core_local_apic()268 uint64_t ia32_apic_base = rdmsr(0x1b); in apic_local_apic_init() local271 …mm_map_phys_addr(APIC_LOCAL_APIC_VIRT_BASE_ADDR, (ia32_apic_base & 0x1FFFFFFFFFFFFF), PAGE_2M_SIZE… in apic_local_apic_init()306 ia32_apic_base = rdmsr(0x1b); in apic_local_apic_init()307 ia32_apic_base |= (1 << 11); in apic_local_apic_init()[all …]