Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/locking/lockdep.c __bfs_backwards() -> __bfs()

Type Parameter Key Value
PARAM_VALUE 0 source_entry 571699784668549120,8470021845543915520,8916000455893024768
PARAM_VALUE 0 source_entry->only_xr 0-1
PARAM_VALUE 0 source_entry->parent 0
PARAM_VALUE 1 *data 0-255
PARAM_VALUE 4 target_entry 0,542149093072019456,6760110519501111296,8800568840619888640
PARAM_VALUE 5 offset 48
BUF_SIZE 1 data 8
BUF_SIZE 1 data 8
DATA_SOURCE 0 source_entry $0
DATA_SOURCE 1 data $1
DATA_SOURCE 2 match $2
DATA_SOURCE 3 skip $3
DATA_SOURCE 4 target_entry $4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &m->lock
HALF_LOCKED2 flags

kernel/locking/lockdep.c __bfs_forwards() -> __bfs()

Type Parameter Key Value
PARAM_VALUE 0 source_entry 2553225339447394304,5194648536202850304,7570462697331093504,7588475506916896768
PARAM_VALUE 0 source_entry->only_xr 0-1
PARAM_VALUE 0 source_entry->parent 0
PARAM_VALUE 4 target_entry 587664036691501056,4249215186332725248,6421851007776292864,7402095502395838464
PARAM_VALUE 5 offset 32
BUF_SIZE 1 data (-1),8
BUF_SIZE 1 data (-1),8
DATA_SOURCE 0 source_entry $0
DATA_SOURCE 1 data $1
DATA_SOURCE 2 match $2
DATA_SOURCE 3 skip $3
DATA_SOURCE 4 target_entry $4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &m->lock
HALF_LOCKED2 flags