Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/drm_gpuvm.c drm_gpuva_ops_free() -> gpuva_op_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gpuvm->ops->op_alloc | 0,4096-ptr_max |
| PARAM_VALUE | 0 | gpuvm->ops->op_free | 0 |
| PARAM_VALUE | 1 | op | 4096-ptr_max |
| BUF_SIZE | 0 | gpuvm | (-1),416 |
| BUF_SIZE | 0 | gpuvm | (-1),416 |
| CAPPED_DATA | 1 | &op->entry | 1 |
| DATA_SOURCE | 0 | gpuvm | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &sched->mutex | ||
| HALF_LOCKED2 | &uvmm->mutex | ||
| HALF_LOCKED2 | &vm->lock | ||
| HALF_LOCKED2 | bo->ttm.base.resv |
drivers/gpu/drm/drm_gpuvm.c drm_gpuva_sm_step() -> gpuva_op_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | gpuvm | 4096-ptr_max |
| PARAM_VALUE | 0 | gpuvm->ops | 0,4096-ptr_max |
| PARAM_VALUE | 0 | gpuvm->ops->op_alloc | 0,4096-ptr_max |
| PARAM_VALUE | 1 | op | 4096-ptr_max |
| PARAM_VALUE | 1 | op->entry.next | 0 |
| PARAM_VALUE | 1 | op->entry.prev | 0 |
| PARAM_VALUE | 1 | op->map.gem.obj | 0 |
| PARAM_VALUE | 1 | op->map.gem.offset | 0 |
| PARAM_VALUE | 1 | op->map.va.addr | 0 |
| PARAM_VALUE | 1 | op->map.va.range | 0 |
| PARAM_VALUE | 1 | op->op | 1 |
| PARAM_VALUE | 1 | op->prefetch.va | 0 |
| PARAM_VALUE | 1 | op->remap.next | 0,4078221568021217280,6464028650938220544 |
| PARAM_VALUE | 1 | op->unmap.keep | 0 |
| PARAM_VALUE | 1 | op->unmap.va | 0 |
| BUF_SIZE | 1 | op | 56 |
| CAPPED_DATA | 1 | op->remap.prev | 1 |
| CAPPED_DATA | 1 | op->remap.unmap | 1 |
| DATA_SOURCE | 1 | op | r gpuva_op_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | op->map.gem.offset | 0[c] |
| USER_DATA | 1 | op->map.va.addr | 0 |
| USER_DATA | 1 | op->map.va.range | 0 |
| USER_DATA | 1 | op->unmap.keep | 0[c][u] |
| HALF_LOCKED2 | &queue->lock |