Searched refs:sbtimer_clockintr (Results 1 – 1 of 1) sorted by relevance
70 static void sbtimer_clockintr(void *arg, uint32_t status, vaddr_t pc);109 fun = sbtimer_clockintr; in sbtimer_attach()171 sbtimer_clockintr(void *arg, uint32_t status, vaddr_t pc) in sbtimer_clockintr() function