On 21/07/2016 00:25, Bandan Das wrote: > vmentry should check whether the vmcs provided by > the guest hypervisor is a shadow vmcs and fail.
How can this happen, since vmptrld checks the revision_id as you said below? Paolo > Also, vmptrld should check whether a shadow vmcs > is being loaded by the guest without support being present > but this check happens as part of checking the revision_id.

