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()
127 uint64_t ia32_apic_base = rdmsr(0x1b); in apic_init_ap_core_local_apic()134 ia32_apic_base = rdmsr(0x1b); in apic_init_ap_core_local_apic()278 uint64_t ia32_apic_base = rdmsr(0x1b); in apic_local_apic_init()317 ia32_apic_base = rdmsr(0x1b); in apic_local_apic_init()324 ia32_apic_base = rdmsr(0x1b); in apic_local_apic_init()
131 uint64_t rdmsr(uint64_t address) in rdmsr() function
188 rdmsr256 rdmsr363 rdmsr