Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/locking/lockdep.c check_deadlock() -> print_deadlock_bug()

Type Parameter Key Value
PARAM_VALUE 0 curr 4096-ptr_max
PARAM_VALUE 0 curr->lockdep_depth 1-s32max
PARAM_VALUE 1 prev 4096-ptr_max
PARAM_VALUE 2 next 4096-ptr_max
PARAM_VALUE 2 next->check 1
PARAM_VALUE 2 next->instance 4096-ptr_max
PARAM_VALUE 2 next->trylock 0
PARAM_VALUE 2 next->waittime_stamp 0
DATA_SOURCE 0 curr $0
DATA_SOURCE 2 next $1
PARAM_COMPARE 2 next->nest_lock != $1->instance
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/locking/lockdep.c check_noncircular() -> print_deadlock_bug()

Type Parameter Key Value
PARAM_VALUE 1 prev 4096-ptr_max
PARAM_VALUE 1 prev->check 1
PARAM_VALUE 1 prev->instance 4096-ptr_max
PARAM_VALUE 1 prev->trylock 0
PARAM_VALUE 1 prev->waittime_stamp 0
PARAM_VALUE 2 next 4096-ptr_max
PARAM_VALUE 2 next->check 1
CAPPED_DATA 1 prev->class_idx 1
CAPPED_DATA 2 next->class_idx 1
DATA_SOURCE 1 prev $0
DATA_SOURCE 2 next $1
PARAM_COMPARE 1 prev->class_idx == $2->class_idx
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags