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: