tc_get_speed
unsigned int tc_clock = tc_get_speed(&tc_bus) / 100000;
u32 freq0, freq1, freqtc = tc_get_speed(tbus) / 250;