DPLL_ADJUST
REG_WRITE(DPLL_ADJUST, ((clock.nf >> 14) - 1));
hdmi_dev->saveDPLL_ADJUST = PSB_RVDC32(DPLL_ADJUST);
PSB_WVDC32(hdmi_dev->saveDPLL_ADJUST, DPLL_ADJUST);