Searched refs:MSR_IA32_APICBASE (Results 1 – 3 of 3) sorted by relevance
63 uint64_t apicbase = rdmsr(MSR_IA32_APICBASE); in guest_code()67 wrmsr(MSR_IA32_APICBASE, apicbase | X2APIC_ENABLE); in guest_code()
784 #define MSR_IA32_APICBASE 0x0000001b macro
307 pub const MSR_IA32_APICBASE: ::std::os::raw::c_uint = 0x0000001b; constant