PCI_VENDOR_ID_3DFX 1482 drivers/video/fbdev/sstfb.c 	{ PCI_DEVICE(PCI_VENDOR_ID_3DFX, PCI_DEVICE_ID_3DFX_VOODOO ),
PCI_VENDOR_ID_3DFX 1484 drivers/video/fbdev/sstfb.c 	{ PCI_DEVICE(PCI_VENDOR_ID_3DFX, PCI_DEVICE_ID_3DFX_VOODOO2),
PCI_VENDOR_ID_3DFX  125 drivers/video/fbdev/tdfxfb.c 	{ PCI_VENDOR_ID_3DFX, PCI_DEVICE_ID_3DFX_BANSHEE,
PCI_VENDOR_ID_3DFX  128 drivers/video/fbdev/tdfxfb.c 	{ PCI_VENDOR_ID_3DFX, PCI_DEVICE_ID_3DFX_VOODOO3,
PCI_VENDOR_ID_3DFX  131 drivers/video/fbdev/tdfxfb.c 	{ PCI_VENDOR_ID_3DFX, PCI_DEVICE_ID_3DFX_VOODOO5,