PIPEFRAMEPIXEL
frame = intel_de_read64_2x32(display, PIPEFRAMEPIXEL(display, pipe),
position = (intel_de_read_fw(display, PIPEFRAMEPIXEL(display, pipe)) & PIPE_PIXEL_MASK) >> PIPE_PIXEL_SHIFT;