amptimer_delay
void amptimer_delay(u_int);
arm_clock_register(amptimer_cpu_initclocks, amptimer_delay,