PCI_DEVICE_ID_INTERG_2000  279 arch/arm/kernel/bios32.c 		 (dev->device == PCI_DEVICE_ID_INTERG_2000 ||
PCI_DEVICE_ID_INTERG_2000 1837 drivers/video/fbdev/cyber2000fb.c 	{ PCI_VENDOR_ID_INTERG, PCI_DEVICE_ID_INTERG_2000,