rk3288_get_frequency
uint32_t rk3288_get_frequency(void *, uint32_t *);
rk3288_enable, rk3288_get_frequency,
return rk3288_get_frequency(sc, &idx) / (div_con + 1);
return rk3288_get_frequency(sc, &idx) / (div_con + 1);
return rk3288_get_frequency(sc, &idx) / (div_con + 1);
return (rk3288_get_frequency(sc, &idx) / (aclk_div_con + 1)) >>