arm_clock_register
arm_clock_register(agtimer_cpu_initclocks, agtimer_delay,
arm_clock_register(NULL, agtimer_delay, NULL, NULL);
arm_clock_register(amptimer_cpu_initclocks, amptimer_delay,
arm_clock_register(agtimer_cpu_initclocks, agtimer_delay,
arm_clock_register(NULL, agtimer_delay, NULL, NULL);
void arm_clock_register(void (*)(void), void (*)(u_int), void (*)(int),
arm_clock_register(NULL, agtimer_delay, NULL, NULL);
void arm_clock_register(void (*)(void), void (*)(u_int), void (*)(int),
arm_clock_register(dmtimer_cpu_initclocks, dmtimer_delay,
arm_clock_register(gptimer_cpu_initclocks, gptimer_delay,
arm_clock_register(sxitimer_cpu_initclocks, sxitimer_delay,