Symbol: GEMINI_TIMERn_COUNTER
sys/arch/arm/gemini/gemini_timer.c
172
GEMINI_TIMERn_COUNTER(sc->sc_timerno));
sys/arch/arm/gemini/gemini_timer.c
195
GEMINI_TIMERn_COUNTER(sc->sc_timerno), val);
sys/arch/arm/gemini/gemini_timer.c
207
GEMINI_TIMERn_COUNTER(n), tfp->tf_counter);