Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/gpu/drm/drm_gpuvm.c __drm_gpuvm_validate() -> (struct drm_gpuvm_ops)->vm_bo_validate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vm_bo | 4096-ptr_max |
| PARAM_VALUE | 0 | vm_bo->kref.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | vm_bo->list.entry.evict.next | 4096-ptr_max |
| PARAM_VALUE | 1 | exec | 4096-ptr_max |
| DATA_SOURCE | 1 | exec | $1 |
| NO_OVERFLOW_SIMPLE | 1 | exec->contended->size | |
| HALF_LOCKED2 | &queue->lock | ||
| HALF_LOCKED2 | &sched->mutex | ||
| HALF_LOCKED2 | global &drm_unplug_srcu |
drivers/gpu/drm/drm_gpuvm.c drm_gpuvm_validate_locked() -> (struct drm_gpuvm_ops)->vm_bo_validate()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vm_bo | 4096-ptr_max |
| PARAM_VALUE | 0 | vm_bo->kref.refcount.refs.counter | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | exec | 4096-ptr_max |
| CAPPED_DATA | 0 | &vm_bo->list.entry.evict | 1 |
| DATA_SOURCE | 1 | exec | $1 |
| NO_OVERFLOW_SIMPLE | 1 | exec->contended->size | |
| HALF_LOCKED2 | &queue->lock | ||
| HALF_LOCKED2 | &sched->mutex | ||
| HALF_LOCKED2 | global &drm_unplug_srcu |