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;