Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/gpu/drm/vc4/vc4_irq.c vc4_irq_finish_bin_job() -> vc4_move_job_to_render()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | exec | 4096-ptr_max |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | exec | r vc4_first_bin_job |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &vc4->job_lock | ||
| HALF_LOCKED2 | &desc->request_mutex | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct vc4_dev)->job_lock |
drivers/gpu/drm/vc4/vc4_gem.c vc4_submit_next_bin_job() -> vc4_move_job_to_render()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dev->huge_mnt->mnt_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 1 | exec | 4096-ptr_max |
| CAPPED_DATA | 1 | exec->ct0ca | 1 |
| CAPPED_DATA | 1 | exec->ct0ea | 1 |
| DATA_SOURCE | 0 | dev | $0 |
| DATA_SOURCE | 1 | exec | r vc4_first_bin_job |
| PARAM_COMPARE | 1 | exec->ct0ca | == $1->ct0ea |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | dev | unit_byte |
| LOCK2 | &vc4->job_lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | irqflags | ||
| TYPE_LOCK | (struct vc4_dev)->job_lock |