PCI_DEVICE_ID_3DFX_VOODOO3 128 drivers/video/fbdev/tdfxfb.c { PCI_VENDOR_ID_3DFX, PCI_DEVICE_ID_3DFX_VOODOO3, PCI_DEVICE_ID_3DFX_VOODOO3 1401 drivers/video/fbdev/tdfxfb.c case PCI_DEVICE_ID_3DFX_VOODOO3: