Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/gpu/drm/i915/gt/intel_engine_cs.c __intel_engine_flush_submission() -> tasklet_unlock()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->callback 1-u64max
BUF_SIZE 0 t 40
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh

drivers/gpu/drm/i915/gt/intel_engine_cs.c i915_sched_engine_active_unlock_bh() -> tasklet_unlock()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
HALF_LOCKED2 &m->lock
HALF_LOCKED2 obj->base.resv

kernel/softirq.c tasklet_action_common() -> tasklet_unlock()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->count.counter 0
NOCHECK_CALL

kernel/softirq.c tasklet_action_common() -> tasklet_unlock()

Type Parameter Key Value
PARAM_VALUE 0 t 4096-ptr_max
PARAM_VALUE 0 t->count.counter s32min-(-1),1-s32max
NOCHECK_CALL