Make sure we tally an interrupt when calling sched_ithd() from