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() -> iommufd_device_attach()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idev | 4096-ptr_max |
| PARAM_VALUE | 0 | idev->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | idev->dev->iommu | 0,4096-ptr_max |
| PARAM_VALUE | 0 | idev->ictx | 4096-ptr_max |
| PARAM_VALUE | 0 | idev->igroup | 0-ptr_max |
| PARAM_VALUE | 1 | pasid | 0 |
| PARAM_VALUE | 2 | pt_id | 2747688499419410432 |
| BUF_SIZE | 0 | idev->dev | 1616 |
| DATA_SOURCE | 0 | idev | r iommufd_device_bind |
| USER_DATA | 2 | *pt_id | 0-u32max[u] |
| USER_PTR | 2 | pt_id |
drivers/iommu/iommufd/selftest.c iommufd_test_pasid_attach() -> iommufd_device_attach()
| 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_attach()
| 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_attach()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idev | 1-u64max |
| PARAM_VALUE | 1 | pasid | 0-s32max |
| PARAM_VALUE | 2 | pt_id | 7368657603473494024 |
| DATA_SOURCE | 1 | pasid | $1 |
| DATA_SOURCE | 2 | pt_id | $2 |
| NOSPEC | 1 | pasid | |
| USER_DATA | 1 | pasid | 0-s32max |
| USER_DATA | 2 | *pt_id | 0-u32max |
| USER_PTR | 2 | pt_id | |
| LOCK2 | &vdev->dev_set->lock | ||
| TYPE_LOCK | (struct vfio_device_set)->lock |