Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/bpf/fixups.c bpf_do_misc_fixups() -> bpf_mark_subprog_exc_cb()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->subprog_info 4096-ptr_max
CAPPED_DATA 0 env->prog 1
DATA_SOURCE 0 env $0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 env->prog->len
UNITS 1 subprog unit_array_size

kernel/bpf/verifier.c add_subprogs() -> bpf_mark_subprog_exc_cb()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->subprog_info 4096-ptr_max
PARAM_VALUE 1 subprog 1-s32max
CAPPED_DATA 0 env->exception_callback_subprog 1
CAPPED_DATA 0 env->prog->aux->btf->start_id 1
CAPPED_DATA 0 env->prog->aux->func_info_cnt 1
CAPPED_DATA 0 env->prog->len 1
CAPPED_DATA 1 subprog 1
DATA_SOURCE 0 env $0
FUZZY_MAX 1 subprog 1
PARAM_COMPARE 0 env->prog->aux->btf->nr_types > $0->prog->aux->btf->start_id
PARAM_COMPARE 0 env->subprog_cnt > $1
PARAM_COMPARE 1 subprog < $0->subprog_cnt
CONSTRAINT 1 subprog <4111
NOCHECK_CALL
UNITS 1 subprog unit_array_size