sxitimer_cpu_initclocks
arm_clock_register(sxitimer_cpu_initclocks, sxitimer_delay,
void sxitimer_cpu_initclocks(void);