a9ptmr_cpu_initclocks
void a9ptmr_cpu_initclocks(void);
arm_fdt_timer_register(a9ptmr_cpu_initclocks);