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 t 4096-ptr_max
PARAM_VALUE 0 t->callback 1-u64max
PARAM_VALUE 0 t->count.counter 0
BUF_SIZE 0 t 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 t 4096-ptr_max
PARAM_VALUE 0 t->count.counter 0
PARAM_VALUE 0 t->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 t 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 t 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 t 4096-ptr_max
PARAM_VALUE 0 t->entry.next->prev 4096-ptr_max
PARAM_VALUE 0 t->entry.prev->next 4096-ptr_max
CAPPED_DATA 0 t 1
DATA_SOURCE 0 t $1
CONTAINER 0 -24+0 $(-1)
NOCHECK_CALL
LOCK2 &pool->lock