Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/iommu/amd/pasid.c amd_iommu_remove_dev_pasid() -> is_pasid_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | dev_data | s32min-(-1),1-s32max |
| DATA_SOURCE | 1 | pasid | $1 |
drivers/iommu/amd/pasid.c iommu_sva_set_dev_pasid() -> is_pasid_valid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | dev_data | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | dev_data | s32min-(-2),1-s32max |
| DATA_SOURCE | 1 | pasid | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | pasid | 1-u32max |
| UNITS | 0 | dev_data | unit_byte |
| HALF_LOCKED2 | &group->mutex |