Symbol: tfprint
sys/arch/arm/gemini/gemini_timer.c
121
static void tfprint(uint, timer_factors_t *);
sys/arch/arm/gemini/gemini_timer.c
401
tfprint(sc->sc_timerno, tfp);