Constant devices::pci::coiommu::PAGE_SIZE_4K

const PAGE_SIZE_4K: u64 = 4096;