Symbol: _timer_reload
sys/arch/arm/gemini/gemini_timer.c
239
_timer_reload(sc, sc->sc_tf.tf_counter);
sys/arch/arm/gemini/gemini_timer.c
252
_timer_reload(sc, sc->sc_tf.tf_counter);