VMCS_ENTRY_CTLS
error += vmwrite(VMCS_ENTRY_CTLS, entry_ctls);
entry_ctls = vmcs_read(VMCS_ENTRY_CTLS);
vmcs_write(VMCS_ENTRY_CTLS, entry_ctls);
VMCS_IDENT(VMCS_ENTRY_CTLS), &ctls);
VMCS_IDENT(VMCS_ENTRY_CTLS), ctls);
err += vmcs_snapshot_any(vmcs, run, VMCS_ENTRY_CTLS, meta);
error = vm_get_vmcs_field(vcpu, VMCS_ENTRY_CTLS, &ctl);