Searched refs:MSR_IA32_VMX_PINBASED_CTLS (Results 1 – 5 of 5) sorted by relevance
58 MSR_IA32_VMX_PINBASED_CTLS, VMX_PINBASED_CTLS_IRQ_EXIT266 msr_val = msr_read(MSR_IA32_VMX_PINBASED_CTLS); in detect_apicv_cap()
30 MSR_IA32_VMX_PINBASED_CTLS, \
123 msr_value = adjust_vmx_ctrls(MSR_IA32_VMX_PINBASED_CTLS, request_bits); in init_vmx_msrs()124 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_PINBASED_CTLS, msr_value); in init_vmx_msrs()208 case MSR_IA32_VMX_PINBASED_CTLS: in read_vmx_msr()
275 value32 = check_vmx_ctrl(MSR_IA32_VMX_PINBASED_CTLS, VMX_PINBASED_CTLS_IRQ_EXIT); in init_exec_ctrl()
241 #define MSR_IA32_VMX_PINBASED_CTLS 0x00000481U macro
Completed in 13 milliseconds