Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/fixups.c bpf_do_misc_fixups() -> (struct bpf_verifier_ops)->get_func_proto()

Type Parameter Key Value
PARAM_VALUE 1 prog 4096-ptr_max
CONTAINER 1 *(-0-16+8) $(-1)
NO_OVERFLOW_SIMPLE 1 prog->len

kernel/bpf/verifier.c bpf_get_helper_proto() -> (struct bpf_verifier_ops)->get_func_proto()

Type Parameter Key Value
PARAM_VALUE 0 func_id 0-211
PARAM_VALUE 1 prog 4096-ptr_max
DATA_SOURCE 0 func_id $1
CONTAINER 1 *(-0-16+8) $(-1)