lx_set_dotpll     177 drivers/video/fbdev/geode/lxfb_ops.c 	lx_set_dotpll(pll_table[best].pllval & 0x00017FFF);
lx_set_dotpll     768 drivers/video/fbdev/geode/lxfb_ops.c 	lx_set_dotpll((u32) (par->msr.dotpll >> 32));