DPLL_UPDATE       316 drivers/gpu/drm/gma500/oaktrail_hdmi.c 	REG_WRITE(DPLL_UPDATE, 0x80000000);
DPLL_UPDATE       765 drivers/gpu/drm/gma500/oaktrail_hdmi.c 	hdmi_dev->saveDPLL_UPDATE = PSB_RVDC32(DPLL_UPDATE);
DPLL_UPDATE       818 drivers/gpu/drm/gma500/oaktrail_hdmi.c 	PSB_WVDC32(hdmi_dev->saveDPLL_UPDATE, DPLL_UPDATE);