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,