INTEL_DISPLAY_A_VTOTAL
write32(INTEL_DISPLAY_A_VTOTAL + fPipeOffset,
value = read32(info, INTEL_DISPLAY_A_VTOTAL + pipeOffset);