Symbol: jensenio_iointr
sys/arch/alpha/jensenio/jensenio_intr.c
283
scb_set(0x800 + SCB_IDXTOVEC(irq), jensenio_iointr, NULL);
sys/arch/alpha/jensenio/jensenio_intr.c
73
static void jensenio_iointr(void *, u_long);