Symbol: tegra_timer_delay
sys/arch/arm/nvidia/tegra_platform.c
210
tegra_timer_delay(us);
sys/arch/arm/nvidia/tegra_var.h
63
void tegra_timer_delay(u_int);