Constant devices::virtio::iommu::sys::unix::VIRTIO_IOMMU_PAGE_SHIFT

source · 
const VIRTIO_IOMMU_PAGE_SHIFT: u32 = 12;