Searched refs:sbtimer_statclockintr (Results 1 – 1 of 1) sorted by relevance
71 static void sbtimer_statclockintr(void *arg, uint32_t status, vaddr_t pc);120 fun = sbtimer_statclockintr; in sbtimer_attach()194 sbtimer_statclockintr(void *arg, uint32_t status, vaddr_t pc) in sbtimer_statclockintr() function