Symbol: PCI_DEVICE_3DFX_BANSHEE
sys/dev/tdfx/tdfx_pci.c
189
pci_get_devid(dev) == PCI_DEVICE_3DFX_BANSHEE) {
sys/dev/tdfx/tdfx_pci.c
263
if(pci_get_devid(dev) == PCI_DEVICE_3DFX_BANSHEE ||
sys/dev/tdfx/tdfx_pci.c
328
(pci_get_devid(dev) == PCI_DEVICE_3DFX_BANSHEE)) {