Symbol: dec_3100_intr
sys/arch/pmax/pmax/dec_3100.c
104
static void dec_3100_intr(uint32_t, vaddr_t, uint32_t);
sys/arch/pmax/pmax/dec_3100.c
130
platform.iointr = dec_3100_intr;