Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/trampoline.c __bpf_prog_exit() -> update_prog_stats()

Type Parameter Key Value
DATA_SOURCE 0 prog $0
DATA_SOURCE 1 start $1
NOCHECK_CALL

kernel/bpf/trampoline.c __bpf_prog_exit_recur() -> update_prog_stats()

Type Parameter Key Value
DATA_SOURCE 0 prog $0
DATA_SOURCE 1 start $1
NOCHECK_CALL

kernel/bpf/trampoline.c __bpf_prog_exit_sleepable() -> update_prog_stats()

Type Parameter Key Value
DATA_SOURCE 0 prog $0
DATA_SOURCE 1 start $1
NOCHECK_CALL

kernel/bpf/trampoline.c __bpf_prog_exit_sleepable_recur() -> update_prog_stats()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max
PARAM_VALUE 0 prog->active 4096-ptr_max
PARAM_VALUE 0 prog->aux 4096-ptr_max
PARAM_VALUE 1 start 0
BUF_SIZE 0 prog s32min-(-2),1-s32max
BUF_SIZE 0 prog s32min-(-2),1-s32max
CAPPED_DATA 0 prog->aux->max_ctx_offset 1
DATA_SOURCE 0 prog $0
DATA_SOURCE 1 start $1
NOCHECK_CALL