PIPE_FRAME_HIGH_SHIFT  656 drivers/gpu/drm/gma500/psb_irq.c 			 PIPE_FRAME_HIGH_SHIFT);
PIPE_FRAME_HIGH_SHIFT  660 drivers/gpu/drm/gma500/psb_irq.c 			 PIPE_FRAME_HIGH_SHIFT);
PIPE_FRAME_HIGH_SHIFT  814 drivers/gpu/drm/i915/i915_irq.c 	high1 >>= PIPE_FRAME_HIGH_SHIFT;