Lines Matching refs:request_bits
44 static uint64_t adjust_vmx_ctrls(uint32_t msr, uint64_t request_bits) in adjust_vmx_ctrls() argument
72 val64.u.hi_32 |= (msr_val.u.hi_32 & request_bits); in adjust_vmx_ctrls()
83 uint64_t request_bits, msr_value; in init_vmx_msrs() local
120 request_bits = VMX_PINBASED_CTLS_IRQ_EXIT in init_vmx_msrs()
123 msr_value = adjust_vmx_ctrls(MSR_IA32_VMX_PINBASED_CTLS, request_bits); in init_vmx_msrs()
125 msr_value = adjust_vmx_ctrls(MSR_IA32_VMX_TRUE_PINBASED_CTLS, request_bits); in init_vmx_msrs()
129 request_bits = VMX_PROCBASED_CTLS_IRQ_WIN | VMX_PROCBASED_CTLS_TSC_OFF in init_vmx_msrs()
138 msr_value = adjust_vmx_ctrls(MSR_IA32_VMX_PROCBASED_CTLS, request_bits); in init_vmx_msrs()
140 msr_value = adjust_vmx_ctrls(MSR_IA32_VMX_TRUE_PROCBASED_CTLS, request_bits); in init_vmx_msrs()
144 request_bits = VMX_PROCBASED_CTLS2_EPT | VMX_PROCBASED_CTLS2_RDTSCP in init_vmx_msrs()
150 msr_value = adjust_vmx_ctrls(MSR_IA32_VMX_PROCBASED_CTLS2, request_bits); in init_vmx_msrs()
154 request_bits = VMX_EXIT_CTLS_SAVE_DBG | VMX_EXIT_CTLS_HOST_ADDR64 in init_vmx_msrs()
157 msr_value = adjust_vmx_ctrls(MSR_IA32_VMX_EXIT_CTLS, request_bits); in init_vmx_msrs()
159 msr_value = adjust_vmx_ctrls(MSR_IA32_VMX_TRUE_EXIT_CTLS, request_bits); in init_vmx_msrs()
163 request_bits = VMX_ENTRY_CTLS_LOAD_DBG | VMX_ENTRY_CTLS_IA32E_MODE in init_vmx_msrs()
166 msr_value = adjust_vmx_ctrls(MSR_IA32_VMX_ENTRY_CTLS, request_bits); in init_vmx_msrs()
168 msr_value = adjust_vmx_ctrls(MSR_IA32_VMX_TRUE_ENTRY_CTLS, request_bits); in init_vmx_msrs()