PCI_DEVICE_ID_INTERG_2010  280 arch/arm/kernel/bios32.c 		  dev->device == PCI_DEVICE_ID_INTERG_2010)) ||
PCI_DEVICE_ID_INTERG_2010 1839 drivers/video/fbdev/cyber2000fb.c 	{ PCI_VENDOR_ID_INTERG, PCI_DEVICE_ID_INTERG_2010,