VGACNTRL          688 drivers/gpu/drm/gma500/psb_intel_reg.h #define VGACNTRL		0x71400
VGACNTRL         6931 drivers/gpu/drm/i915/i915_reg.h #define VGACNTRL		_MMIO(0x71400)
VGACNTRL          425 drivers/video/fbdev/intelfb/intelfbhw.h #define VGACNTRL		0x71400