Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/generic_pt/fmt/iommu_amdv1.c iommu_iotlb_sync() -> (struct iommu_domain_ops)->iotlb_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->iotlb_sync | 5867195247508373504,7564901004766887936,7723566286289076224,8743500591539974144,9062639100917301248 |
| PARAM_VALUE | 1 | gather | 4096-ptr_max |
| PARAM_VALUE | 1 | gather->end | 1-u64max |
| PARAM_VALUE | 1 | gather->start | 0-18446744073709551614 |
| CAPPED_DATA | 1 | gather->start | 1 |
| DATA_SOURCE | 0 | domain | $0 |
| DATA_SOURCE | 1 | gather | $1 |
| CONTAINER | 0 | -48-16+0 | $(-1) |
| PARAM_COMPARE | 1 | gather->end | > $1->start |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/iommu/generic_pt/fmt/iommu_x86_64.c iommu_iotlb_sync() -> (struct iommu_domain_ops)->iotlb_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->iotlb_sync | 5867195247508373504,7564901004766887936,7723566286289076224,8743500591539974144,9062639100917301248 |
| PARAM_VALUE | 1 | gather | 4096-ptr_max |
| PARAM_VALUE | 1 | gather->end | 1-u64max |
| PARAM_VALUE | 1 | gather->start | 0-18446744073709551614 |
| CAPPED_DATA | 1 | gather->start | 1 |
| DATA_SOURCE | 0 | domain | $0 |
| DATA_SOURCE | 1 | gather | $1 |
| CONTAINER | 0 | -48-16+0 | $(-1) |
| PARAM_COMPARE | 1 | gather->end | > $1->start |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/iommu/iommufd/io_pagetable.c iommu_iotlb_sync() -> (struct iommu_domain_ops)->iotlb_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->dirty_ops | 1-u64max |
| PARAM_VALUE | 0 | domain->dirty_ops->read_and_clear_dirty | 756191073583566848,1235995745862602752,8187675443057729536 |
| PARAM_VALUE | 0 | domain->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->iotlb_sync | 5867195247508373504,7564901004766887936,7723566286289076224,8743500591539974144,9062639100917301248 |
| PARAM_VALUE | 1 | gather | 2709549484540518400,5383983957550964736 |
| PARAM_VALUE | 1 | gather->end | 1-u64max |
| PARAM_VALUE | 1 | gather->start | 0-18446744073709551614 |
| CAPPED_DATA | 1 | gather->start | 1 |
| DATA_SOURCE | 0 | domain | $0 |
| DATA_SOURCE | 1 | gather | $1 |
| CONTAINER | 0 | -48-16+0 | $(-1) |
| PARAM_COMPARE | 1 | gather->end | > $1->start |
| NOCHECK_CALL | |||
| LOCK2 | &iopt->iova_rwsem | ||
| TYPE_LOCK | (struct io_pagetable)->iova_rwsem |
drivers/iommu/generic_pt/fmt/iommu_mock.c iommu_iotlb_sync() -> (struct iommu_domain_ops)->iotlb_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->iotlb_sync | 5867195247508373504,7564901004766887936,7723566286289076224,8743500591539974144,9062639100917301248 |
| PARAM_VALUE | 1 | gather | 4096-ptr_max |
| PARAM_VALUE | 1 | gather->end | 1-u64max |
| PARAM_VALUE | 1 | gather->start | 0-18446744073709551614 |
| CAPPED_DATA | 1 | gather->start | 1 |
| DATA_SOURCE | 0 | domain | $0 |
| DATA_SOURCE | 1 | gather | $1 |
| CONTAINER | 0 | -48-16+0 | $(-1) |
| PARAM_COMPARE | 1 | gather->end | > $1->start |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/iommu/dma-iommu.c iommu_iotlb_sync() -> (struct iommu_domain_ops)->iotlb_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->iotlb_sync | 5867195247508373504,7564901004766887936,7723566286289076224,8743500591539974144,9062639100917301248 |
| PARAM_VALUE | 1 | gather | 833451126278635520,3686779949083234304 |
| PARAM_VALUE | 1 | gather->end | 1-u64max |
| PARAM_VALUE | 1 | gather->start | 0-18446744073709551614 |
| CAPPED_DATA | 1 | gather->start | 1 |
| DATA_SOURCE | 0 | domain | $0 |
| DATA_SOURCE | 1 | gather | $1 |
| CONTAINER | 0 | -48-16+0 | $(-1) |
| PARAM_COMPARE | 1 | gather->end | > $1->start |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/iommu/generic_pt/fmt/iommu_riscv64.c iommu_iotlb_sync() -> (struct iommu_domain_ops)->iotlb_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->iotlb_sync | 5867195247508373504,7564901004766887936,7723566286289076224,8743500591539974144,9062639100917301248 |
| PARAM_VALUE | 1 | gather | 4096-ptr_max |
| PARAM_VALUE | 1 | gather->end | 1-u64max |
| PARAM_VALUE | 1 | gather->start | 0-18446744073709551614 |
| CAPPED_DATA | 1 | gather->start | 1 |
| DATA_SOURCE | 0 | domain | $0 |
| DATA_SOURCE | 1 | gather | $1 |
| CONTAINER | 0 | -48-16+0 | $(-1) |
| PARAM_COMPARE | 1 | gather->end | > $1->start |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/vfio/vfio_iommu_type1.c iommu_iotlb_sync() -> (struct iommu_domain_ops)->iotlb_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->iotlb_sync | 5867195247508373504,7564901004766887936,7723566286289076224,8743500591539974144,9062639100917301248 |
| PARAM_VALUE | 1 | gather | 6830266767623548928 |
| PARAM_VALUE | 1 | gather->end | 1-u64max |
| PARAM_VALUE | 1 | gather->start | 0-18446744073709551614 |
| CAPPED_DATA | 1 | gather->start | 1 |
| DATA_SOURCE | 0 | domain | $0 |
| DATA_SOURCE | 1 | gather | $1 |
| CONTAINER | 0 | -48-16+0 | $(-1) |
| PARAM_COMPARE | 1 | gather->end | > $1->start |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &container->group_lock | ||
| HALF_LOCKED2 | &iommu->lock |
drivers/iommu/generic_pt/fmt/iommu_vtdss.c iommu_iotlb_sync() -> (struct iommu_domain_ops)->iotlb_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->iotlb_sync | 5867195247508373504,7564901004766887936,7723566286289076224,8743500591539974144,9062639100917301248 |
| PARAM_VALUE | 1 | gather | 4096-ptr_max |
| PARAM_VALUE | 1 | gather->end | 1-u64max |
| PARAM_VALUE | 1 | gather->start | 0-18446744073709551614 |
| CAPPED_DATA | 1 | gather->start | 1 |
| DATA_SOURCE | 0 | domain | $0 |
| DATA_SOURCE | 1 | gather | $1 |
| CONTAINER | 0 | -48-16+0 | $(-1) |
| PARAM_COMPARE | 1 | gather->end | > $1->start |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/iommu/iommu.c iommu_iotlb_sync() -> (struct iommu_domain_ops)->iotlb_sync()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->attach_dev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->cache_invalidate_user | 0,749766203511472128,6513038070009405440 |
| PARAM_VALUE | 0 | domain->ops->enforce_cache_coherency | 0,6771135090529189888,7103604897055576064,7157214075461996544 |
| PARAM_VALUE | 0 | domain->ops->flush_iotlb_all | 0,1409264724003270656,7012404210964918272,8586290232470175744 |
| PARAM_VALUE | 0 | domain->ops->free | 0,4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->iotlb_sync | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->iotlb_sync_map | 0,6940270464466649088,6998128456535617536 |
| PARAM_VALUE | 0 | domain->ops->iova_to_phys | 0,1955669761700835328,2834890145562849280,4985586088501190656,6538246597230686208,8807475656703016960 |
| PARAM_VALUE | 0 | domain->ops->map_pages | 0 |
| PARAM_VALUE | 0 | domain->ops->set_dev_pasid | 0,1191539796096278528,2449680511270084608,2937103414544289792,6236364466895036416,7122971417634123776 |
| PARAM_VALUE | 0 | domain->ops->set_pgtable_quirks | 0 |
| PARAM_VALUE | 0 | domain->ops->unmap_pages | 0 |
| PARAM_VALUE | 0 | domain->owner->blocked_domain | 0,532766077614051328,1309262597071863808,3360818763908841472,5161617956659249152,5314750282517213184,6300359532015144960 |
| PARAM_VALUE | 0 | domain->owner->capable | 0,462993810217750528,1218212999370723328,2068158786969784320,4814261608348082176,5273877608991895552,6378217523337945088 |
| PARAM_VALUE | 0 | domain->owner->def_domain_type | 0,757924381194936320,3094419801163452416,5117618908541267968,5322346410050064384 |
| PARAM_VALUE | 0 | domain->owner->default_domain | 0,5314750282517213184 |
| PARAM_VALUE | 0 | domain->owner->device_group | 0,4096-ptr_max |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_identity | 0,1824181410664046592 |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_nested | 0,3787243451007922176,5587605712304230400 |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_paging | 0,4096-ptr_max |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_paging_flags | 0,5681659404854812672,8509805123710701568,8930407207250460672,8966249347349827584 |
| PARAM_VALUE | 0 | domain->owner->domain_alloc_sva | 0,701458021798502400,7542271727435345920 |
| PARAM_VALUE | 0 | domain->owner->get_resv_regions | 0,1505888117193461760,1796066543583182848,4029229782243753984,4300132076315938816,5136130486519664640,5287335354533576704,8650506204712415232 |
| PARAM_VALUE | 0 | domain->owner->get_viommu_size | 0,890856020400304128,8808264738914050048 |
| PARAM_VALUE | 0 | domain->owner->hw_info | 0,4734748057756364800,6417568837149130752,7401392304513224704 |
| PARAM_VALUE | 0 | domain->owner->identity_domain | 0,4096-ptr_max |
| PARAM_VALUE | 0 | domain->owner->is_attach_deferred | 0,5818038523887214592,7788280626033360896 |
| PARAM_VALUE | 0 | domain->owner->of_xlate | 0,4096-ptr_max |
| PARAM_VALUE | 0 | domain->owner->owner | 0 |
| PARAM_VALUE | 0 | domain->owner->page_response | 0,6092340583743537152,6863561957491752960,7827827559097483264 |
| PARAM_VALUE | 0 | domain->owner->probe_device | 0,4096-ptr_max |
| PARAM_VALUE | 0 | domain->owner->probe_finalize | 0,4224741400359067648,6516402457225019392,8434375612550443008,8539622431235026944 |
| PARAM_VALUE | 0 | domain->owner->release_device | 0,4096-ptr_max |
| PARAM_VALUE | 0 | domain->owner->release_domain | 0,109353748397924352,532766077614051328,3360818763908841472,5161617956659249152,8123815121812471808 |
| PARAM_VALUE | 0 | domain->owner->viommu_init | 0,3877766920581869568,5010379558565462016 |
| PARAM_VALUE | 1 | gather | 7640417311242076160 |
| PARAM_VALUE | 1 | gather->end | 1-u64max |
| PARAM_VALUE | 1 | gather->start | 0-18446744073709551614 |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain | (-1),112 |
| BUF_SIZE | 0 | domain->iommufd_hwpt | (-1),40 |
| CAPPED_DATA | 1 | gather->start | 1 |
| DATA_SOURCE | 0 | domain | $0 |
| DATA_SOURCE | 1 | gather | $1 |
| CONTAINER | 0 | -48-16+0 | $(-1) |
| PARAM_COMPARE | 1 | gather->end | > $1->start |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | domain->msi_cookie->msi_iova | |
| HALF_LOCKED2 | &container->group_lock | ||
| HALF_LOCKED2 | &iommu->lock | ||
| HALF_LOCKED2 | &tegra->mm_lock | ||
| HALF_LOCKED2 | _T->lock |