Searched refs:mips_gictimer_get_freq (Results 1 – 3 of 3) sorted by relevance
34 uint32_t mips_gictimer_get_freq(MIPSGICTimerState *gic);
15 uint32_t mips_gictimer_get_freq(MIPSGICTimerState *gic) in mips_gictimer_get_freq() function
245 gic_freq = mips_gictimer_get_freq(s->cps.gic.gic_timer) / 1000000; in boston_platreg_read()