Searched refs:MSR_IA32_VMX_PROCBASED_CTLS (Results 1 – 5 of 5) sorted by relevance
61 MSR_IA32_VMX_PROCBASED_CTLS, VMX_PROCBASED_CTLS_TSC_OFF | VMX_PROCBASED_CTLS_TPR_SHADOW |217 msr_val = msr_read(MSR_IA32_VMX_PROCBASED_CTLS); in detect_ept_cap()247 msr_val = msr_read(MSR_IA32_VMX_PROCBASED_CTLS); in detect_apicv_cap()
31 MSR_IA32_VMX_PROCBASED_CTLS, \
138 msr_value = adjust_vmx_ctrls(MSR_IA32_VMX_PROCBASED_CTLS, request_bits); in init_vmx_msrs()139 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_PROCBASED_CTLS, msr_value); in init_vmx_msrs()209 case MSR_IA32_VMX_PROCBASED_CTLS: in read_vmx_msr()
296 value32 = check_vmx_ctrl(MSR_IA32_VMX_PROCBASED_CTLS, in init_exec_ctrl()
242 #define MSR_IA32_VMX_PROCBASED_CTLS 0x00000482U macro
Completed in 14 milliseconds