sched_ithd_hard
sched_ithd_hard(intr);
void sched_ithd_hard(int intr); /* procedure called from MD */