Symbol: dec_maxine_intr
sys/arch/pmax/pmax/dec_maxine.c
103
static void dec_maxine_intr(uint32_t, vaddr_t, uint32_t);
sys/arch/pmax/pmax/dec_maxine.c
140
platform.iointr = dec_maxine_intr;