VMCS_ENTRY_CTLS
error = vm_get_vmcs_field(vcpu, VMCS_ENTRY_CTLS, &ctl);
ctrl = vmcs_read(VMCS_ENTRY_CTLS);
vmcs_write(VMCS_ENTRY_CTLS, ctrl);
vmcs_write(VMCS_ENTRY_CTLS, entry_ctls);