Symbol: PCI_PRODUCT_REDHAT_SERIAL4
sys/dev/pci/pcidevs_data.h
33559
PCI_VENDOR_REDHAT, PCI_PRODUCT_REDHAT_SERIAL4,
sys/dev/pci/pucdata.c
2374
{ PCI_VENDOR_REDHAT, PCI_PRODUCT_REDHAT_SERIAL4, 0x0000, 0x0000 },