INTEL_DISPLAY_A_CONTROL
write32(INTEL_DISPLAY_A_CONTROL, (read32(INTEL_DISPLAY_A_CONTROL)
write32(INTEL_DISPLAY_A_CONTROL, (read32(INTEL_DISPLAY_A_CONTROL)
addr_t planeReg = INTEL_DISPLAY_A_CONTROL + fPlaneOffset;
value = read32(info, INTEL_DISPLAY_A_CONTROL + pipeOffset);