Symbol: dec_3min_intr
sys/arch/pmax/pmax/dec_3min.c
104
static void dec_3min_intr(uint32_t, vaddr_t, uint32_t);
sys/arch/pmax/pmax/dec_3min.c
142
platform.iointr = dec_3min_intr;