Searched refs:IA32_VMX_BASIC_MSR (Results 1 – 3 of 3) sorted by relevance
150 vmx_basic = rdmsr(IA32_VMX_BASIC_MSR); in stm_setup()
568 msr_data64.msr = rdmsr(IA32_VMX_BASIC_MSR); in get_vmcs_size()
89 #define IA32_VMX_BASIC_MSR 0x480 macro