Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 res (-2)-1
DATA_SOURCE 0 res r __bfs_backwards
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

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

Type Parameter Key Value
PARAM_VALUE 0 res (-2)-1
DATA_SOURCE 0 res r find_usage_forwards
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

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

Type Parameter Key Value
PARAM_VALUE 0 res (-2)-1
DATA_SOURCE 0 res r find_usage_backwards
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/locking/lockdep.c check_path() -> bfs_error()

Type Parameter Key Value
PARAM_VALUE 0 res (-2)-1
DATA_SOURCE 0 res r __bfs_forwards
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/locking/lockdep.c check_prev_add() -> bfs_error()

Type Parameter Key Value
PARAM_VALUE 0 res (-2)-1
DATA_SOURCE 0 res r check_noncircular
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/locking/lockdep.c check_prev_add() -> bfs_error()

Type Parameter Key Value
PARAM_VALUE 0 res 1
DATA_SOURCE 0 res r check_redundant
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags

kernel/locking/lockdep.c check_usage_backwards() -> bfs_error()

Type Parameter Key Value
PARAM_VALUE 0 res (-2)-1
DATA_SOURCE 0 res r find_usage_backwards
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 res (-2)-1
DATA_SOURCE 0 res r find_usage_forwards
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING