On 23/03/20 16:45, Sean Christopherson wrote: >> My question, however, transforms into "would it >> make sense to introduce nested_vmx_fail() implementing the logic from >> SDM: >> >> VMfail(ErrorNumber): >> IF VMCS pointer is valid >> THEN VMfailValid(ErrorNumber); >> ELSE VMfailInvalid; >> FI; >> > Hmm, I wouldn't be opposed to such a wrapper. It would pair with > nested_vmx_succeed(). > Neither would I. Paolo