Searched refs:rdmsr (Results 1 – 4 of 4) sorted by relevance
73 return rdmsr(0x832); in apic_timer_get_LVT()85 return (uint32_t)rdmsr(0x839); in apic_timer_get_current()
123 uint64_t ia32_apic_base = rdmsr(0x1b); in apic_init_ap_core_local_apic()130 ia32_apic_base = rdmsr(0x1b); in apic_init_ap_core_local_apic()268 uint64_t ia32_apic_base = rdmsr(0x1b); in apic_local_apic_init()306 ia32_apic_base = rdmsr(0x1b); in apic_local_apic_init()313 ia32_apic_base = rdmsr(0x1b); in apic_local_apic_init()
131 uint64_t rdmsr(uint64_t address) in rdmsr() function
188 rdmsr256 rdmsr324 rdmsr