Symbol: PCI_PRODUCT_REDHAT_SERIAL2
sys/dev/pci/pcidevs_data.h
33555
PCI_VENDOR_REDHAT, PCI_PRODUCT_REDHAT_SERIAL2,
sys/dev/pci/pucdata.c
2366
{ PCI_VENDOR_REDHAT, PCI_PRODUCT_REDHAT_SERIAL2, 0x0000, 0x0000 },