devices::pci::coiommu

Constant DTTE_PINNED_FLAG

Source 
const DTTE_PINNED_FLAG: u32 = _; // 2_147_483_648u32