On 03/05/19 11:35, Sean Christopherson wrote: > @nested_run_pending is consumed by nested_vmx_enter_non_root_mode(), > e.g. prepare_vmcs02(). I'm guessing its current location is deliberate. Right. If nested_run_pending is false, for example, GUEST_BNDCFGS must not be taken from the vmcs12. Paolo