Symbol: PCI_PRODUCT_INTEL_82439TX
sys/arch/x86/pci/pci_machdep.c
250
_dme(PCI_VENDOR_INTEL, PCI_PRODUCT_INTEL_82439TX),
sys/dev/pci/pcidevs_data.h
11999
PCI_VENDOR_INTEL, PCI_PRODUCT_INTEL_82439TX,