pub const VFIO_TYPE1v2_IOMMU: u32 = 3;