Searched refs:MSR_IA32_VMX_VMCS_ENUM (Results 1 – 3 of 3) sorted by relevance
509 #define MSR_IA32_VMX_VMCS_ENUM 0x0000048a macro
379 vmcs_enum_max = (rdmsr(MSR_IA32_VMX_VMCS_ENUM) & VMCS_FIELD_INDEX_MASK) in test_vmwrite_vmread()1632 val = rdmsr(MSR_IA32_VMX_VMCS_ENUM); in test_vmx_caps()
10243 unsigned highest_index = rdmsr(MSR_IA32_VMX_VMCS_ENUM); in vmx_vmcs_shadow_test_body()