stp4020_intr_dispatch
void stp4020_intr_dispatch(void *);
h->softint = softintr_establish_raw(ipl, stp4020_intr_dispatch, h);