Lines Matching refs:ctrl
221 uint32_t ctrl = ctrl_req; in check_vmx_ctrl() local
232 ctrl &= vmx_msr_high; in check_vmx_ctrl()
233 ctrl |= vmx_msr_low; in check_vmx_ctrl()
235 if ((ctrl_req & ~ctrl) != 0U) { in check_vmx_ctrl()
237 msr, ctrl, ctrl_req); in check_vmx_ctrl()
240 return ctrl; in check_vmx_ctrl()
247 uint32_t ctrl = ctrl_req; in check_vmx_ctrl_64() local
252 ctrl &= vmx_msr; in check_vmx_ctrl_64()
254 if ((ctrl_req & ~ctrl) != 0U) { in check_vmx_ctrl_64()
256 msr, ctrl, ctrl_req); in check_vmx_ctrl_64()
259 return ctrl; in check_vmx_ctrl_64()