DPLL_UPDATE
REG_WRITE(DPLL_UPDATE, 0x80000000);
hdmi_dev->saveDPLL_UPDATE = PSB_RVDC32(DPLL_UPDATE);
PSB_WVDC32(hdmi_dev->saveDPLL_UPDATE, DPLL_UPDATE);