dotpll_value       26 drivers/video/fbdev/geode/video_gx.c 	u32 dotpll_value;
dotpll_value      150 drivers/video/fbdev/geode/video_gx.c 	dotpll |= (u64)pll_table[best_i].dotpll_value << 32;