On 07/05/19 17:36, Sean Christopherson wrote: > Note, "writable" in this context means > + * "writable by the guest", i.e. tagged SHADOW_FIELD_RW. Note #2, the set of > + * fields tagged SHADOW_FIELD_RO may or may not align with the "read-only" > + * VM-exit information fields (which are actually writable if the vCPU is > + * configured to support "VMWRITE to any supported field in the VMCS"). "There's a few more pages of P.S.'s here" (https://youtu.be/rKlrTJ7WN18?t=170) Paolo
