PIPE_FRMCOUNT_G4X
return intel_de_read(display, PIPE_FRMCOUNT_G4X(display, pipe));
vgpu_vreg_t(vgpu, PIPE_FRMCOUNT_G4X(display, pipe))++;
MMIO_D(PIPE_FRMCOUNT_G4X(display, PIPE_A));
MMIO_D(PIPE_FRMCOUNT_G4X(display, PIPE_B));
MMIO_D(PIPE_FRMCOUNT_G4X(display, PIPE_C));
MMIO_D(PIPE_FRMCOUNT_G4X(display, _PIPE_EDP));