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,