PCI_DEVICE_ID_3DFX_BANSHEE 125 drivers/video/fbdev/tdfxfb.c { PCI_VENDOR_ID_3DFX, PCI_DEVICE_ID_3DFX_BANSHEE, PCI_DEVICE_ID_3DFX_BANSHEE 1397 drivers/video/fbdev/tdfxfb.c case PCI_DEVICE_ID_3DFX_BANSHEE: