Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- drivers/gpu/drm/etnaviv/etnaviv_sched.c, line 80
- drivers/gpu/drm/lima/lima_sched.c, line 449
- drivers/gpu/drm/panfrost/panfrost_job.c, line 687
- drivers/gpu/drm/scheduler/sched_main.c, line 1187
- drivers/gpu/drm/v3d/v3d_sched.c, line 699
Smatch caller information:
drivers/gpu/drm/v3d/v3d_sched.c v3d_gpu_reset_for_timeout() -> drm_sched_increase_karma()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bad | 4096-ptr_max |
| PARAM_VALUE | 0 | bad->list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bad->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bad->sched | 4096-ptr_max |
| PARAM_VALUE | 0 | bad->sched->ops | 4096-ptr_max |
| DATA_SOURCE | 0 | bad | $1 |
| NOCHECK_CALL | |||
| LOCK2 | &v3d->reset_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct v3d_dev)->reset_lock |
drivers/gpu/drm/panfrost/panfrost_job.c panfrost_reset() -> drm_sched_increase_karma()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bad | 5876057434053267456 |
| PARAM_VALUE | 0 | bad->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | bad->list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bad->list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bad->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bad->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bad->list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bad->sched | 422062218835800064 |
| PARAM_VALUE | 0 | bad->sched->ops | 4096-ptr_max |
| DATA_SOURCE | 0 | bad | $1 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/gpu/drm/etnaviv/etnaviv_sched.c etnaviv_sched_timedout_job() -> drm_sched_increase_karma()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bad | 3043435797947875328 |
| PARAM_VALUE | 0 | bad->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | bad->list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bad->list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | bad->list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | bad->sched | 4096-ptr_max |
| PARAM_VALUE | 0 | bad->sched->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | bad->submit_ts | 8555998231119499264 |
| DATA_SOURCE | 0 | bad | $0 |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
drivers/gpu/drm/lima/lima_sched.c lima_sched_timedout_job() -> drm_sched_increase_karma()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | bad | 4096-ptr_max |
| PARAM_VALUE | 0 | bad->list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | bad->list.prev | 4096-ptr_max |
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |