Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/btree.c __btree_for_each() -> __btree_for_each()

Type Parameter Key Value
PARAM_VALUE 1 geo 4096-ptr_max
PARAM_VALUE 1 geo->no_pairs 1-s32max
PARAM_VALUE 2 node 1-u64max
DATA_SOURCE 0 head $0
DATA_SOURCE 1 geo $1
DATA_SOURCE 2 node r bval
DATA_SOURCE 3 opaque $3
DATA_SOURCE 4 func $4
DATA_SOURCE 5 func2 $5
DATA_SOURCE 6 reap $6
DATA_SOURCE 8 count $8 [m]

lib/btree.c btree_grim_visitor() -> __btree_for_each()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 0 head->node 1-u64max
PARAM_VALUE 2 node 1-u64max
PARAM_VALUE 6 reap 1
PARAM_VALUE 8 count 0
DATA_SOURCE 0 head $0
DATA_SOURCE 1 geo $1
DATA_SOURCE 3 opaque $2
DATA_SOURCE 4 func $3 [m]
DATA_SOURCE 5 func2 $4

lib/btree.c btree_visitor() -> __btree_for_each()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 0 head->node 1-u64max
PARAM_VALUE 2 node 1-u64max
PARAM_VALUE 6 reap 0
PARAM_VALUE 8 count 0
DATA_SOURCE 0 head $0
DATA_SOURCE 1 geo $1
DATA_SOURCE 3 opaque $2
DATA_SOURCE 4 func $3 [m]
DATA_SOURCE 5 func2 $4