Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/verifier.c adjust_reg_min_max_vals() -> cur_aux()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
DATA_SOURCE 0 env $0

kernel/bpf/verifier.c can_skip_alu_sanitation() -> cur_aux()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
DATA_SOURCE 0 env $0

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

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->insn_aux_data 4096-ptr_max
DATA_SOURCE 0 env $0

kernel/bpf/verifier.c check_ld_imm() -> cur_aux()

Type Parameter Key Value
DATA_SOURCE 0 env $0

kernel/bpf/verifier.c sanitize_ptr_alu() -> cur_aux()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
DATA_SOURCE 0 env $0

kernel/bpf/verifier.c sanitize_val_alu() -> cur_aux()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
DATA_SOURCE 0 env $0

kernel/bpf/verifier.c update_loop_inline_state() -> cur_aux()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
DATA_SOURCE 0 env $0