sbtimer_clock_init
if (system_set_clockfns(sc, sbtimer_clock_init)) {
static void sbtimer_clock_init(void *arg);