Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/iommufd/device.c iommufd_device_change_pt() -> iommufd_device_change_pt param 3()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idev | 4096-ptr_max |
| PARAM_VALUE | 2 | hwpt | 4096-ptr_max |
| BUF_SIZE | 0 | idev->dev | (-1),1616 |
| BUF_SIZE | 0 | idev->ictx | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | idev | $0 |
| DATA_SOURCE | 1 | pasid | $1 |
| NOSPEC | 1 | pasid | |
| USER_DATA | 1 | pasid | 0-u32max |
| HALF_LOCKED2 | &vdev->dev_set->lock |
drivers/iommu/iommufd/device.c iommufd_device_auto_get_domain() -> iommufd_device_auto_get_domain param 4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idev | 4096-ptr_max |
| PARAM_VALUE | 2 | hwpt | 4096-ptr_max |
| PARAM_VALUE | 2 | hwpt->obj.users.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 2 | hwpt->obj.wait_cnt.refs.counter | (-1073741824),0-s32max |
| BUF_SIZE | 2 | hwpt | 40 |
| DATA_SOURCE | 0 | idev | $0 |
| DATA_SOURCE | 1 | pasid | $1 |
| NOSPEC | 1 | pasid | |
| NOSPEC | 1 | pasid | |
| USER_DATA | 1 | pasid | 0-u32max |
| LOCK2 | &ioas->mutex | ||
| HALF_LOCKED2 | &vdev->dev_set->lock | ||
| TYPE_LOCK | (struct iommufd_ioas)->mutex |
drivers/iommu/iommufd/device.c iommufd_device_auto_get_domain() -> iommufd_device_auto_get_domain param 4()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | idev | 4096-ptr_max |
| PARAM_VALUE | 0 | idev->ictx->objects.xa_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | hwpt | 4096-ptr_max |
| PARAM_VALUE | 2 | hwpt->domain | 4096-ptr_max |
| BUF_SIZE | 2 | hwpt | 40 |
| DATA_SOURCE | 0 | idev | $0 |
| DATA_SOURCE | 1 | pasid | $1 |
| NOSPEC | 1 | pasid | |
| NOSPEC | 1 | pasid | |
| USER_DATA | 1 | pasid | 0-u32max |
| LOCK2 | &ioas->mutex | ||
| HALF_LOCKED2 | &vdev->dev_set->lock | ||
| TYPE_LOCK | (struct iommufd_ioas)->mutex |