Searched refs:MSR_IA32_VMX_BASIC (Results 1 – 3 of 3) sorted by relevance
537 return rdmsr(MSR_IA32_VMX_BASIC); in vmcs_revision()
1063 #define MSR_IA32_VMX_BASIC 0x00000480 macro
514 pub const MSR_IA32_VMX_BASIC: ::std::os::raw::c_uint = 0x00000480; constant