On Tue, Nov 01, 2022, Vitaly Kuznetsov wrote: > + /* Setup shadow VMCS, do not load it yet. */ > + *(uint32_t *)(vmx->shadow_vmcs) = > + vmcs_revision() | 0x80000000ul; In case another version is sent, or if Paolo feels like doing fixup when applying, this wrap is no longer necessary.