PIPEDMC_DCB_VMAX
reg_val = intel_de_read(display, PIPEDMC_DCB_VMAX(pipe));
intel_de_write(display, PIPEDMC_DCB_VMAX(pipe),
intel_de_write(display, PIPEDMC_DCB_VMAX(pipe), 0);