On 07/07/19 09:11, Krish Sadhukhan wrote: > > if (!vmx_control_verify(vmcs12->vm_exit_controls, > vmx->nested.msrs.exit_ctls_low, > - vmx->nested.msrs.exit_ctls_high) || > - nested_vmx_check_exit_msr_switch_controls(vcpu, vmcs12)) > + vmx->nested.msrs.exit_ctls_high)) > + return -EINVAL; > + Exit controls are not shadowed, are they? Paolo