Searched refs:MSR_IA32_VMX_BASIC (Results 1 – 4 of 4) sorted by relevance
54 vmx_fixed1_msr_test(vcpu, MSR_IA32_VMX_BASIC, in vmx_save_restore_msrs_test()
86 basic.val = rdmsr(MSR_IA32_VMX_BASIC); in l1_guest_code()
495 return rdmsr(MSR_IA32_VMX_BASIC); in vmcs_revision()
1184 #define MSR_IA32_VMX_BASIC 0x00000480 macro
Completed in 11 milliseconds