clk_pixel         616 drivers/video/fbdev/smscufx.c 	u32 value, clk_pixel, clk_pixel_pll;
clk_pixel         620 drivers/video/fbdev/smscufx.c 	clk_pixel = PICOS2KHZ(pixclock) * 1000;
clk_pixel         621 drivers/video/fbdev/smscufx.c 	pr_debug("pixclock %d ps = clk_pixel %d Hz", pixclock, clk_pixel);
clk_pixel         624 drivers/video/fbdev/smscufx.c 	clk_pixel_pll = clk_pixel * 2;