Searched refs:MSR_IA32_VMX_PROCBASED_CTLS2 (Results 1 – 5 of 5) sorted by relevance
66 MSR_IA32_VMX_PROCBASED_CTLS2, VMX_PROCBASED_CTLS2_VAPIC | VMX_PROCBASED_CTLS2_EPT |234 msr_val = msr_read(MSR_IA32_VMX_PROCBASED_CTLS2); in detect_ept_cap()252 msr_val = msr_read(MSR_IA32_VMX_PROCBASED_CTLS2); in detect_apicv_cap()
40 MSR_IA32_VMX_PROCBASED_CTLS2, \
150 msr_value = adjust_vmx_ctrls(MSR_IA32_VMX_PROCBASED_CTLS2, request_bits); in init_vmx_msrs()151 vcpu_set_guest_msr(vcpu, MSR_IA32_VMX_PROCBASED_CTLS2, msr_value); in init_vmx_msrs()211 case MSR_IA32_VMX_PROCBASED_CTLS2: in read_vmx_msr()
330 value32 = check_vmx_ctrl(MSR_IA32_VMX_PROCBASED_CTLS2, in init_exec_ctrl()
251 #define MSR_IA32_VMX_PROCBASED_CTLS2 0x0000048BU macro
Completed in 14 milliseconds