Symbol: dec_5100_intr
sys/arch/pmax/pmax/dec_5100.c
65
static void dec_5100_intr(uint32_t, vaddr_t, uint32_t);
sys/arch/pmax/pmax/dec_5100.c
89
platform.iointr = dec_5100_intr;