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