Symbol: PCI_PRODUCT_REDHAT_SERIAL
sys/dev/pci/pcidevs_data.h
33551
PCI_VENDOR_REDHAT, PCI_PRODUCT_REDHAT_SERIAL,
sys/dev/pci/pucdata.c
2359
{ PCI_VENDOR_REDHAT, PCI_PRODUCT_REDHAT_SERIAL, 0x0000, 0x0000 },