unmapped_region_cnt  759 drivers/vfio/vfio_iommu_type1.c 	int unmapped_region_cnt = 0;
unmapped_region_cnt  812 drivers/vfio/vfio_iommu_type1.c 					    &unmapped_region_cnt,
unmapped_region_cnt  824 drivers/vfio/vfio_iommu_type1.c 	if (unmapped_region_cnt) {