VFIO_IOMMU_DIRTY_PAGES_FLAG_STOP
VFIO_IOMMU_DIRTY_PAGES_FLAG_STOP |
} else if (dirty.flags & VFIO_IOMMU_DIRTY_PAGES_FLAG_STOP) {