const COIOMMU_MMIO_BAR_SIZE: u64 = 0x2000;