PIPE_FLIPCOUNT_G4X
vgpu_vreg_t(vgpu, PIPE_FLIPCOUNT_G4X(display, info->pipe))++;
vgpu_vreg_t(vgpu, PIPE_FLIPCOUNT_G4X(display, pipe))++;
vgpu_vreg_t(vgpu, PIPE_FLIPCOUNT_G4X(display, pipe))++;
MMIO_D(PIPE_FLIPCOUNT_G4X(display, PIPE_A));
MMIO_D(PIPE_FLIPCOUNT_G4X(display, PIPE_B));
MMIO_D(PIPE_FLIPCOUNT_G4X(display, PIPE_C));
MMIO_D(PIPE_FLIPCOUNT_G4X(display, _PIPE_EDP));