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));