const PCI_DEVICE_ID_COIOMMU: u16 = 0xabcd;