Constant devices::pci::coiommu::DTT_ENTRY_PFN_SHIFT

const DTT_ENTRY_PFN_SHIFT: u64 = 12;