VMCS_EXIT_CTLS
error = vm_get_vmcs_field(vcpu, VMCS_EXIT_CTLS, &ctl);
vmcs_write(VMCS_EXIT_CTLS, exit_ctls);