Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/verifier.c check_func_arg() -> update_ref_obj()

Type Parameter Key Value
PARAM_VALUE 0 ref_obj 4384626442260283460
PARAM_VALUE 1 reg 4096-ptr_max
CAPPED_DATA 1 reg->id 1
DATA_SOURCE 1 reg r reg_state
MEM_ZERO 0 ref_obj
NOCHECK_CALL

kernel/bpf/verifier.c check_kfunc_args() -> update_ref_obj()

Type Parameter Key Value
PARAM_VALUE 0 ref_obj 5112478544311124036
PARAM_VALUE 1 reg 4096-ptr_max
CAPPED_DATA 1 reg->id 1
DATA_SOURCE 1 reg r get_func_arg_reg
MEM_ZERO 0 ref_obj
NOCHECK_CALL

kernel/bpf/verifier.c process_iter_arg() -> update_ref_obj()

Type Parameter Key Value
PARAM_VALUE 0 ref_obj 5112478544311124036
MEM_ZERO 0 ref_obj
NOCHECK_CALL