Constant devices::pci::coiommu::PAGE_SHIFT_4K

source · 
const PAGE_SHIFT_4K: u64 = 12;