Symbol: arm_tmr_do_delay
sys/arm/arm/generic_timer.c
160
static void arm_tmr_do_delay(int usec, void *);
sys/arm/arm/generic_timer.c
804
arm_set_delay(arm_tmr_do_delay, sc);
sys/arm/arm/generic_timer.c
900
arm_tmr_do_delay(usec, arm_tmr_sc);