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()275 uint64_t ia32_apic_base = rdmsr(0x1b); in apic_local_apic_init()314 ia32_apic_base = rdmsr(0x1b); in apic_local_apic_init()321 ia32_apic_base = rdmsr(0x1b); in apic_local_apic_init()
131 uint64_t rdmsr(uint64_t address) in rdmsr() function
188 rdmsr256 rdmsr324 rdmsr