call vsf_leave_critical if there is pending event, so that other interrupt can be issued instantly