Symbol: IPS_COPPERHEAD_DEVICE_ID
sys/dev/ips/ips_pci.c
49
(pci_get_device(dev) == IPS_COPPERHEAD_DEVICE_ID)) {
sys/dev/ips/ips_pci.c
76
} else if(pci_get_device(dev) == IPS_COPPERHEAD_DEVICE_ID){
sys/dev/ips/ips_pci.c
93
if(pci_get_device(dev) == IPS_COPPERHEAD_DEVICE_ID)