devices::pci::coiommu

Constant PAGE_SHIFT_4K

Source 
const PAGE_SHIFT_4K: u64 = 12;