PIPEDMC_DCB_FLIP_COUNT
intel_de_write(display, PIPEDMC_DCB_FLIP_COUNT(pipe),
intel_de_write(display, PIPEDMC_DCB_FLIP_COUNT(pipe), 0);