tf80             1064 drivers/video/fbdev/w100fb.c 	unsigned int tf80;
tf80             1085 drivers/video/fbdev/w100fb.c 		tf80 = w100_get_testcount(TESTCLK_SRC_PLL);
tf80             1086 drivers/video/fbdev/w100fb.c 		if (tf80 >= (pll->tfgoal)) {