Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/states.c states_equal() -> refsafe()

Type Parameter Key Value
PARAM_VALUE 0 old 4096-ptr_max
PARAM_VALUE 0 old->curframe 0-4294967294
PARAM_VALUE 1 cur 4096-ptr_max
PARAM_VALUE 1 cur->curframe 0-4294967294
PARAM_VALUE 1 cur->insn_idx 0-4294967294
PARAM_VALUE 2 idmap 4096-ptr_max
PARAM_VALUE 2 idmap->cnt 0
CAPPED_DATA 0 old->curframe 1
CAPPED_DATA 0 old->in_sleepable 1
CAPPED_DATA 1 cur->curframe 1
CAPPED_DATA 1 cur->in_sleepable 1
DATA_SOURCE 0 old $1
DATA_SOURCE 1 cur $2
PARAM_COMPARE 1 cur->curframe == $0->curframe
PARAM_COMPARE 1 cur->in_sleepable == $0->in_sleepable