Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
drivers/iommu/iommufd/selftest.c iommufd_test_mock_domain_replace() -> iommufd_device_replace()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | pasid | 0 |
| USER_DATA | 2 | *pt_id | 0-u32max[u] |
| USER_PTR | 2 | pt_id |
drivers/iommu/iommufd/selftest.c iommufd_test_pasid_replace() -> iommufd_device_replace()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | pt_id | 8421750914493251604 |
| USER_DATA | 1 | pasid | 0-u32max[u] |
| USER_DATA | 2 | *pt_id | 0-u32max[u] |
| USER_PTR | 2 | pt_id |
drivers/vfio/iommufd.c vfio_iommufd_physical_attach_ioas() -> iommufd_device_replace()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idev | 1-u64max |
| PARAM_VALUE | 1 | pasid | 0 |
| PARAM_VALUE | 2 | pt_id | 7368657603473494024,7375752851435810816 |
| DATA_SOURCE | 2 | pt_id | $1 |
| USER_DATA | 2 | *pt_id | 0-u32max |
| USER_PTR | 2 | pt_id | |
| LOCK2 | &vdev->dev_set->lock | ||
| HALF_LOCKED2 | &vdev->group->group_lock | ||
| TYPE_LOCK | (struct vfio_device_set)->lock |
drivers/vfio/iommufd.c vfio_iommufd_physical_pasid_attach_ioas() -> iommufd_device_replace()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idev | 1-u64max |
| PARAM_VALUE | 1 | pasid | 0-s32max,4294967274,4294967294 |
| PARAM_VALUE | 2 | pt_id | 7368657603473494024 |
| CAPPED_DATA | 1 | pasid | 1 |
| DATA_SOURCE | 1 | pasid | $1 |
| DATA_SOURCE | 2 | pt_id | $2 |
| USER_DATA | 1 | pasid | 0-s32max,4294967274,4294967294[c] |
| USER_DATA | 2 | *pt_id | 0-u32max |
| USER_PTR | 2 | pt_id | |
| LOCK2 | &vdev->dev_set->lock | ||
| TYPE_LOCK | (struct vfio_device_set)->lock |