dmtimer_cpu_initclocks
void dmtimer_cpu_initclocks(void);
arm_clock_register(dmtimer_cpu_initclocks, dmtimer_delay,