pub const VFIO_IOMMU_DIRTY_PAGES_FLAG_STOP: u32 = 2;