run_vcpu_get_exit_reason
exit_reason = run_vcpu_get_exit_reason(vcpu);
(void *(*)(void *))run_vcpu_get_exit_reason,