Documented in 2 files:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/gpu/drm/i915/gt/intel_engine_cs.c __intel_engine_flush_submission() -> (struct tasklet_struct)->callback()

Type Parameter Key Value
PARAM_VALUE 0 w 4096-ptr_max
PARAM_VALUE 0 w->callback 1-u64max
PARAM_VALUE 0 w->count.counter 0
BUF_SIZE 0 w 40
CONTAINER 0 -24+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh

kernel/softirq.c tasklet_action_common() -> (struct tasklet_struct)->callback()

Type Parameter Key Value
PARAM_VALUE 0 w 4096-ptr_max
PARAM_VALUE 0 w->count.counter 0
PARAM_VALUE 0 w->use_callback 1
CONTAINER 0 -24+0 $(-1)
NOCHECK_CALL

drivers/gpu/drm/i915/gt/intel_execlists_submission.c live_hold_reset() -> (struct tasklet_struct)->callback()

Type Parameter Key Value
PARAM_VALUE 0 w 4096-ptr_max
CONTAINER 0 -24+0 $(-1)
NOCHECK_CALL
LOCK2 bh

drivers/gpu/drm/i915/gt/intel_execlists_submission.c reset_virtual_engine() -> (struct tasklet_struct)->callback()

Type Parameter Key Value
PARAM_VALUE 0 w 4096-ptr_max
CONTAINER 0 -24+0 $(-1)
NOCHECK_CALL
LOCK2 bh

kernel/workqueue.c process_one_work() -> (struct worker)->current_func()

Type Parameter Key Value
PARAM_VALUE 0 w 4096-ptr_max
PARAM_VALUE 0 w->entry.next->prev 4096-ptr_max
PARAM_VALUE 0 w->entry.prev->next 4096-ptr_max
CAPPED_DATA 0 w 1
DATA_SOURCE 0 w $1
CONTAINER 0 -24+0 $(-1)
NOCHECK_CALL
LOCK2 &pool->lock