Symbol: gptimer_delay
sys/arch/armv7/omap/gptimer.c
103
void gptimer_delay(u_int);
sys/arch/armv7/omap/gptimer.c
179
arm_clock_register(gptimer_cpu_initclocks, gptimer_delay,