PCI_DEVICE_3DFX_BANSHEE
pci_get_devid(dev) == PCI_DEVICE_3DFX_BANSHEE) {
if(pci_get_devid(dev) == PCI_DEVICE_3DFX_BANSHEE ||
(pci_get_devid(dev) == PCI_DEVICE_3DFX_BANSHEE)) {