Symbol: PCI_PRODUCT_MARVELL_YUKON_8072
sys/dev/pci/if_msk.c
220
PCI_PRODUCT_MARVELL_YUKON_8072) },
sys/dev/pci/pcidevs_data.h
5775
PCI_VENDOR_MARVELL, PCI_PRODUCT_MARVELL_YUKON_8072,