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: