Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/iommufd/hw_pagetable.c iommufd_hwpt_paging_enforce_cc() -> (struct iommu_domain_ops)->enforce_cache_coherency()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->cookie_type | 5 |
| PARAM_VALUE | 0 | domain->iommufd_hwpt | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->iova_cookie | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->msi_cookie | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->enforce_cache_coherency | 6771135090529189888,7103604897055576064,7157214075461996544 |
| CONTAINER | 0 | -72-16+0 | $(-1) |
| LOCK2 | &ioas->mutex | ||
| TYPE_LOCK | (struct iommufd_ioas)->mutex |
drivers/vfio/vfio_iommu_type1.c vfio_iommu_type1_attach_group() -> (struct iommu_domain_ops)->enforce_cache_coherency()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | domain | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | domain->ops->enforce_cache_coherency | 6771135090529189888,7103604897055576064,7157214075461996544 |
| CAPPED_DATA | 0 | domain | 1 |
| CONTAINER | 0 | *(-72-16+0) | $(-1) |
| LOCK2 | &container->group_lock | ||
| LOCK2 | &iommu->lock | ||
| HALF_LOCKED2 | &group->group_lock | ||
| HALF_LOCKED2 | global &vfio.iommu_drivers_lock | ||
| TYPE_LOCK | (struct vfio_container)->group_lock | ||
| TYPE_LOCK | (struct vfio_iommu)->lock |