Symbol: jensenio_pic_init
sys/arch/alpha/jensenio/jensenio_intr.c
121
jensenio_pic_init();
sys/arch/alpha/jensenio/jensenio_intr.c
77
static void jensenio_pic_init(void);