const PCI_VENDOR_ID_COIOMMU: u16 = 0x1234;