Symbol: sbtimer_miscintr
sys/arch/mips/sibyte/dev/sbtimer.c
133
fun = sbtimer_miscintr;
sys/arch/mips/sibyte/dev/sbtimer.c
72
static void sbtimer_miscintr(void *arg, uint32_t status, vaddr_t pc);