Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
- drivers/iommu/dma-iommu.c, line 398 (as a function)
- include/linux/iommu.h, line 1609 (as a function)
Referenced in 2 files:
Smatch caller information:
drivers/vfio/vfio_iommu_type1.c vfio_iommu_type1_attach_group() -> iommu_get_msi_cookie()
| 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 | 0,6771135090529189888,7103604897055576064,7157214075461996544 |
| CAPPED_DATA | 0 | domain | 1 |
| CAPPED_DATA | 0 | domain->ops | 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 |