Searched refs:MSR_IA32_VMX_PINBASED_CTLS (Results 1 – 7 of 7) sorted by relevance
27 case MSR_IA32_VMX_PINBASED_CTLS: in is_hidden_vmx_msr()
88 : MSR_IA32_VMX_PINBASED_CTLS); in l1_guest_code()
53 rdmsr(MSR_IA32_VMX_PINBASED_CTLS, ign, supported); in init_vmx_capabilities()
1192 #define MSR_IA32_VMX_PINBASED_CTLS 0x00000481 macro
1185 #define MSR_IA32_VMX_PINBASED_CTLS 0x00000481 macro
1473 case MSR_IA32_VMX_PINBASED_CTLS: in vmx_set_vmx_msr() 1531 case MSR_IA32_VMX_PINBASED_CTLS: in vmx_get_vmx_msr() 1535 if (msr_index == MSR_IA32_VMX_PINBASED_CTLS) in vmx_get_vmx_msr()
2659 MSR_IA32_VMX_PINBASED_CTLS, in setup_vmcs_config()