Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->cur_state 4096-ptr_max
PARAM_VALUE 0 env->cur_state->curframe 0-4294967294
PARAM_VALUE 0 env->cur_state->insn_idx 0-4294967294
PARAM_VALUE 0 env->insn_aux_data 4096-ptr_max
PARAM_VALUE 0 env->liveness 4096-ptr_max
PARAM_VALUE 0 env->liveness->live_stack_query.curframe 0-4294967294
PARAM_VALUE 0 env->liveness->live_stack_query.insn_idx 0-4294967294
PARAM_VALUE 0 env->prog 4096-ptr_max
PARAM_VALUE 0 *env->liveness->live_stack_query->callsites 0-4294967295
PARAM_VALUE 1 old 4096-ptr_max
PARAM_VALUE 2 cur 4096-ptr_max
PARAM_VALUE 4 exact 0-2
DATA_SOURCE 0 env $0
DATA_SOURCE 3 insn_idx r bpf_frame_insn_idx
DATA_SOURCE 4 exact $3
FUZZY_MAX 4 exact 2
HARD_MAX 4 exact 2