Symbol: jensenio_intr_dispatch
sys/arch/alpha/jensenio/jensenio_intr.c
173
jensenio_intr_dispatch(arg, vec);
sys/arch/alpha/jensenio/jensenio_intr.c
191
scb_func = jensenio_intr_dispatch;