Symbol: jensenio_setlevel
sys/arch/alpha/jensenio/jensenio_intr.c
137
jensenio_setlevel(2, 0);
sys/arch/alpha/jensenio/jensenio_intr.c
284
jensenio_setlevel(irq,
sys/arch/alpha/jensenio/jensenio_intr.c
76
static void jensenio_setlevel(int, int);