Searched refs:MSR_IA32_VMX_PINBASED_CTLS (Results 1 – 8 of 8) sorted by relevance
52 rdmsr(MSR_IA32_VMX_PINBASED_CTLS, ign, supported); in init_vmx_capabilities()
89 : MSR_IA32_VMX_PINBASED_CTLS); in l1_guest_code()
448 case MSR_IA32_VMX_PINBASED_CTLS: in nested_evmcs_filter_control_msr()
1359 case MSR_IA32_VMX_PINBASED_CTLS: in vmx_set_vmx_msr()1417 case MSR_IA32_VMX_PINBASED_CTLS: in vmx_get_vmx_msr()1421 if (msr_index == MSR_IA32_VMX_PINBASED_CTLS) in vmx_get_vmx_msr()
2663 MSR_IA32_VMX_PINBASED_CTLS, in setup_vmcs_config()
1027 #define MSR_IA32_VMX_PINBASED_CTLS 0x00000481 macro
1047 #define MSR_IA32_VMX_PINBASED_CTLS 0x00000481 macro
1549 MSR_IA32_VMX_PINBASED_CTLS,