Searched refs:MSR_IA32_VMX_VMCS_ENUM (Results 1 – 2 of 2) sorted by relevance
51 vcpu_set_msr(vcpu, MSR_IA32_VMX_VMCS_ENUM, 0); in vmx_save_restore_msrs_test()52 vcpu_set_msr(vcpu, MSR_IA32_VMX_VMCS_ENUM, -1ull); in vmx_save_restore_msrs_test()
1194 #define MSR_IA32_VMX_VMCS_ENUM 0x0000048a macro
Completed in 8 milliseconds