VMCS12_REVISION
(vmx->nested.hv_evmcs->revision_id != VMCS12_REVISION)) {
vmcs12->hdr.revision_id = VMCS12_REVISION;
if (CC(hdr.revision_id != VMCS12_REVISION) ||
revision != VMCS12_REVISION)
if (hdr.revision_id != VMCS12_REVISION ||
if (shadow_vmcs12->hdr.revision_id != VMCS12_REVISION ||
if (vmcs12->hdr.revision_id != VMCS12_REVISION)
msrs->basic = vmx_basic_encode_vmcs_info(VMCS12_REVISION, VMCS12_SIZE,
set_revision_id_for_vmcs12(state, VMCS12_REVISION);