Symbol: IPS_MARCO_DEVICE_ID
sys/dev/ips/ips_pci.c
53
(pci_get_device(dev) == IPS_MARCO_DEVICE_ID)) {
sys/dev/ips/ips_pci.c
81
} else if (pci_get_device(dev) == IPS_MARCO_DEVICE_ID){