Searched refs:MSR_IA32_VMX_PINBASED_CTLS (Results 1 – 10 of 10) sorted by relevance
14 MSR_IA32_VMX_PINBASED_CTLS = 0x481 variable133 cap_msr = MSR_IA32_VMX_PINBASED_CTLS,
52 rdmsr(MSR_IA32_VMX_PINBASED_CTLS, ign, supported); in init_vmx_capabilities()
89 : MSR_IA32_VMX_PINBASED_CTLS); in l1_guest_code()
585 #define MSR_IA32_VMX_PINBASED_CTLS 0x00000481 macro
452 case MSR_IA32_VMX_PINBASED_CTLS: in nested_evmcs_filter_control_msr()
1386 case MSR_IA32_VMX_PINBASED_CTLS: in vmx_set_vmx_msr()1444 case MSR_IA32_VMX_PINBASED_CTLS: in vmx_get_vmx_msr()1448 if (msr_index == MSR_IA32_VMX_PINBASED_CTLS) in vmx_get_vmx_msr()
2676 MSR_IA32_VMX_PINBASED_CTLS, in setup_vmcs_config()
1067 #define MSR_IA32_VMX_PINBASED_CTLS 0x00000481 macro
1090 #define MSR_IA32_VMX_PINBASED_CTLS 0x00000481 macro
561 #define MSR_IA32_VMX_PINBASED_CTLS 0x00000481 macro