Searched refs:gic_freq (Results 1 – 1 of 1) sorted by relevance
230 uint32_t gic_freq, val; in boston_platreg_read() local245 gic_freq = mips_gictimer_get_freq(s->cps.gic.gic_timer) / 1000000; in boston_platreg_read()246 val = gic_freq << PLAT_MMCM_DIV_INPUT_SHIFT; in boston_platreg_read()