unmapped_region_list  757 drivers/vfio/vfio_iommu_type1.c 	LIST_HEAD(unmapped_region_list);
unmapped_region_list  811 drivers/vfio/vfio_iommu_type1.c 					    &unlocked, &unmapped_region_list,
unmapped_region_list  825 drivers/vfio/vfio_iommu_type1.c 		unlocked += vfio_sync_unpin(dma, domain, &unmapped_region_list,