VMCS_EXIT_REASON
exit = vmcs_read(VMCS_EXIT_REASON);
#define vmcs_exit_reason() (vmcs_read(VMCS_EXIT_REASON) & 0xffff)
error = vm_get_vmcs_field(vcpu, VMCS_EXIT_REASON, &u64);