Searched refs:MSR_IA32_VMX_VMCS_ENUM (Results 1 – 5 of 5) sorted by relevance
49 vcpu_set_msr(vcpu, MSR_IA32_VMX_VMCS_ENUM, 0); in vmx_save_restore_msrs_test()50 vcpu_set_msr(vcpu, MSR_IA32_VMX_VMCS_ENUM, -1ull); in vmx_save_restore_msrs_test()
1267 #define MSR_IA32_VMX_VMCS_ENUM 0x0000048a macro
1257 #define MSR_IA32_VMX_VMCS_ENUM 0x0000048a macro
1526 case MSR_IA32_VMX_VMCS_ENUM: in vmx_set_vmx_msr()1598 case MSR_IA32_VMX_VMCS_ENUM: in vmx_get_vmx_msr()
456 MSR_IA32_VMX_VMCS_ENUM,