INTEL_DISPLAY_A_BASE
read32(INTEL_DISPLAY_A_BASE);
read32(INTEL_DISPLAY_A_BASE);
read32(INTEL_DISPLAY_A_BASE);
write32(INTEL_DISPLAY_A_BASE + offset,
read32(INTEL_DISPLAY_A_BASE + offset);
write32(INTEL_DISPLAY_A_BASE + offset, sharedInfo.frame_buffer_offset
read32(INTEL_DISPLAY_A_BASE + offset);
value = read32(info, INTEL_DISPLAY_A_BASE + pipeOffset);