freqtc            191 drivers/video/fbdev/pmagb-b-fb.c 	u32 freq0, freq1, freqtc = tc_get_speed(tbus) / 250;
freqtc            220 drivers/video/fbdev/pmagb-b-fb.c 	freq0 = (freqtc * count0 + counttc / 2) / counttc;