simplify
combine bsim_poll_interrupt() into portalExec_event()