Searched refs:MSR_IA32_VMX_BASIC (Results 1 – 9 of 9) sorted by relevance
52 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()
181 rdmsrq(MSR_IA32_VMX_BASIC, basic_msr); in __x86_vmx_init()
495 return rdmsr(MSR_IA32_VMX_BASIC); in vmcs_revision()
1257 #define MSR_IA32_VMX_BASIC 0x00000480 macro
1247 #define MSR_IA32_VMX_BASIC 0x00000480 macro
1490 case MSR_IA32_VMX_BASIC: in vmx_set_vmx_msr()1546 case MSR_IA32_VMX_BASIC: in vmx_get_vmx_msr()
2849 rdmsrq(MSR_IA32_VMX_BASIC, basic_msr); in setup_vmcs_config()
448 MSR_IA32_VMX_BASIC,