sbtimer_statclockintr
fun = sbtimer_statclockintr;
static void sbtimer_statclockintr(void *arg, uint32_t status, vaddr_t pc);