On Mon, May 24, 2021 at 2:15 PM Paolo Bonzini <pbonzini@xxxxxxxxxx> wrote: > > On 24/04/21 02:46, Sean Christopherson wrote: > > Don't waste time writing zeros via VMWRITE during vCPU RESET, the VMCS > > is zero allocated. > > Is this guaranteed to be valid, or could the VMCS in principle use some > weird encoding? (Like it does for the access rights, even though this > does not matter for this patch). I see nothing in the SDM that would indicate that zero must be encoded as zero.
