Symbol: PCI_VENDOR_XENSOURCE
sys/dev/pci/pcidevs_data.h
18973
PCI_VENDOR_XENSOURCE, PCI_PRODUCT_XENSOURCE_XENPLATFORM,
sys/dev/pci/pcidevs_data.h
664
PCI_VENDOR_XENSOURCE, 5541, 4427, 0,