Defined in 2 files as a member:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/gpu/drm/i915/gt/intel_engine_heartbeat.c heartbeat() -> reset_engine()

Type Parameter Key Value
PARAM_VALUE 0 engine 4096-ptr_max
PARAM_VALUE 0 engine->sched_engine 4096-ptr_max
PARAM_VALUE 0 engine->sched_engine->disabled 4096-ptr_max
PARAM_VALUE 0 engine->sched_engine->tasklet.callback 0
PARAM_VALUE 0 engine->wakeref.count.counter 0-s32max
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

drivers/gpu/drm/i915/gt/intel_engine_heartbeat.c heartbeat() -> reset_engine()

Type Parameter Key Value
PARAM_VALUE 0 engine 4096-ptr_max
PARAM_VALUE 0 engine->heartbeat.systole 1-u64max
PARAM_VALUE 0 engine->sched_engine 4096-ptr_max
PARAM_VALUE 0 engine->sched_engine->disabled 4096-ptr_max
PARAM_VALUE 0 engine->wakeref.count.counter 0-s32max
PARAM_VALUE 1 rq 4096-ptr_max
PARAM_VALUE 1 rq->submit.pending.counter s32min-0
NOCHECK_CALL
HALF_LOCKED2 &pool->lock