Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/iommufd/pages.c batch_iommu_map_small() -> iommu_unmap_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->is_iommupt | 1 |
| PARAM_VALUE | 0 | domain->ops->iotlb_sync | 0,5867195247508373504,7564901004766887936,7723566286289076224,8743500591539974144,9062639100917301248 |
| PARAM_VALUE | 0 | domain->ops->map_pages | 0 |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_paging_flags | 0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584 |
| PARAM_VALUE | 0 | domain->pgsize_bitmap | 1-u64max |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain->iommufd_hwpt | (-1),40 |
| DATA_SOURCE | 0 | domain | $0 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | domain->iommufd_hwpt->pasid_compat | 0-1[c] |
| LOCK2 | &iopt->domains_rwsem | ||
| HALF_LOCKED2 | &ioas->mutex | ||
| HALF_LOCKED2 | &iopt->iova_rwsem | ||
| HALF_LOCKED2 | &pages->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct io_pagetable)->domains_rwsem |
drivers/iommu/iommufd/pages.c batch_to_domain() -> iommu_unmap_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 1-u64max |
| PARAM_VALUE | 0 | domain->ops->iotlb_sync | 0,5867195247508373504,7564901004766887936,7723566286289076224,8743500591539974144,9062639100917301248 |
| PARAM_VALUE | 0 | domain->ops->map_pages | 0 |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_paging_flags | 0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584 |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain->iommufd_hwpt | (-1),40 |
| CAPPED_DATA | 0 | domain | 1 |
| DATA_SOURCE | 0 | domain | $1 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | domain->iommufd_hwpt->pasid_compat | 0-1[c] |
| UNITS | 1 | iova | unit_byte |
| UNITS | 2 | size | unit_byte |
| LOCK2 | &iopt->domains_rwsem | ||
| HALF_LOCKED2 | &ioas->mutex | ||
| HALF_LOCKED2 | &iopt->iova_rwsem | ||
| HALF_LOCKED2 | &pages->mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| TYPE_LOCK | (struct io_pagetable)->domains_rwsem |
drivers/iommu/iommufd/pages.c iopt_area_unmap_domain() -> iommu_unmap_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain->ops->iotlb_sync | 0,4096-ptr_max |
| CAPPED_DATA | 0 | domain | 1 |
| DATA_SOURCE | 0 | domain | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &iopt->domains_rwsem | ||
| LOCK2 | &iopt->iova_rwsem | ||
| HALF_LOCKED2 | &pages->mutex | ||
| TYPE_LOCK | (struct io_pagetable)->domains_rwsem | ||
| TYPE_LOCK | (struct io_pagetable)->iova_rwsem |
drivers/iommu/iommufd/pages.c iopt_area_unmap_domain_range() -> iommu_unmap_nofail()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain->ops->iotlb_sync | 0,4096-ptr_max |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_paging_flags | 0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584 |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain->iommufd_hwpt | (-1),40 |
| DATA_SOURCE | 0 | domain | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | domain->iommufd_hwpt->pasid_compat | 0-1[c] |
| HALF_LOCKED2 | &iopt->domains_rwsem | ||
| HALF_LOCKED2 | &pages->mutex | ||
| HALF_LOCKED2 | _T->lock |