Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
- drivers/iommu/iommufd/device.c
- drivers/iommu/iommufd/eventq.c, line 431
- drivers/iommu/iommufd/main.c
Smatch caller information:
drivers/iommu/iommufd/device.c iommufd_access_create() -> iommufd_ctx_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ictx->objects.xa_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | ictx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ictx | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | ictx | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &device->dev_set->lock |
drivers/iommu/iommufd/device.c iommufd_device_bind() -> iommufd_ctx_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | ictx | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | ictx | s32min-(-1),1-s32max |
| DATA_SOURCE | 0 | ictx | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &device->dev_set->lock |
drivers/iommu/iommufd/main.c iommufd_ctx_from_file() -> iommufd_ctx_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | ictx | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | ictx | s32min-(-2),1-s32max |
| NOCHECK_CALL | |||
| LOCK2 | &group->group_lock | ||
| TYPE_LOCK | (struct vfio_group)->group_lock |
drivers/iommu/iommufd/eventq.c iommufd_eventq_init() -> iommufd_ctx_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | ictx | $2 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &viommu->veventqs_rwsem |