Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/locking/lockdep.c check_irq_usage() -> bfs_init_root()

Type Parameter Key Value
PARAM_VALUE 0 lock 2553225339447394304
PARAM_VALUE 1 hlock 4096-ptr_max
PARAM_VALUE 1 hlock->check 1
PARAM_VALUE 1 hlock->instance 4096-ptr_max
PARAM_VALUE 1 hlock->trylock 0
PARAM_VALUE 1 hlock->waittime_stamp 0
DATA_SOURCE 1 hlock $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

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

Type Parameter Key Value
PARAM_VALUE 0 lock 7570462697331093504
PARAM_VALUE 1 hlock 4096-ptr_max
PARAM_VALUE 1 hlock->check 1
PARAM_VALUE 1 hlock->instance 4096-ptr_max
PARAM_VALUE 1 hlock->trylock 0
PARAM_VALUE 1 hlock->waittime_stamp 0
DATA_SOURCE 1 hlock $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags

kernel/locking/lockdep.c check_usage_forwards() -> bfs_init_root()

Type Parameter Key Value
PARAM_VALUE 0 lock 5194648536202850304
PARAM_VALUE 1 hlock 4096-ptr_max
DATA_SOURCE 1 hlock $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL