unmapped_cnt      698 drivers/vfio/vfio_iommu_type1.c 			       int *unmapped_cnt,
unmapped_cnt      717 drivers/vfio/vfio_iommu_type1.c 			(*unmapped_cnt)++;
unmapped_cnt      725 drivers/vfio/vfio_iommu_type1.c 	if (*unmapped_cnt >= VFIO_IOMMU_TLB_SYNC_MAX || !unmapped) {
unmapped_cnt      728 drivers/vfio/vfio_iommu_type1.c 		*unmapped_cnt = 0;