__fixup_guest_exit
return __fixup_guest_exit(vcpu, exit_code, handlers);
return __fixup_guest_exit(vcpu, exit_code, hyp_exit_handlers);