Symbol: timer_write
sys/arch/evbarm/iq80310/iq80310_timer.c
175
timer_write(counts_per_hz);
sys/arch/evbarm/iq80310/iq80310_timer.c
223
timer_write(counts_per_hz);