Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/iommu.c iommu_replace_device_pasid() -> pasid_array_entry_to_domain()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | entry | 1-18446744073709535237,(-1) |
| DATA_SOURCE | 0 | entry | r xa_cmpxchg |
| LOCK2 | &group->mutex | ||
| LOCK2 | &igroup->lock | ||
| HALF_LOCKED2 | &ioas->mutex | ||
| HALF_LOCKED2 | &vdev->dev_set->lock | ||
| TYPE_LOCK | (struct iommu_group)->mutex | ||
| TYPE_LOCK | (struct iommufd_group)->lock |
drivers/iommu/iommu.c pci_dev_reset_iommu_done() -> pasid_array_entry_to_domain()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | entry | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &pdev->dev.mutex |
drivers/iommu/iommu.c pci_dev_reset_iommu_prepare() -> pasid_array_entry_to_domain()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | entry | 1-u64max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | _T->lock | ||
| HALF_LOCKED2 | &pdev->dev.mutex |