Symbol: PCI_PRODUCT_MARVELL_BELKIN
sys/dev/pci/if_sk.c
1756
case PCI_ID_CODE(PCI_VENDOR_MARVELL, PCI_PRODUCT_MARVELL_BELKIN):
sys/dev/pci/if_sk.c
251
PCI_PRODUCT_MARVELL_BELKIN) },
sys/dev/pci/pcidevs_data.h
5789
PCI_VENDOR_MARVELL, PCI_PRODUCT_MARVELL_BELKIN,