Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/syscall.c bpf_raw_tp_link_attach() -> bpf_tracing_prog_attach()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max
PARAM_VALUE 0 prog->type 26,28-29
PARAM_VALUE 1 tgt_prog_fd 0
PARAM_VALUE 2 btf_id 0
PARAM_VALUE 3 bpf_cookie 0
BUF_SIZE 0 prog s32min-(-2),1-s32max
BUF_SIZE 0 prog s32min-(-2),1-s32max
DATA_SOURCE 0 prog $0
DATA_SOURCE 4 attach_type $3
FUZZY_MAX 0 prog->type 26

kernel/bpf/syscall.c link_create() -> bpf_tracing_prog_attach()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max
PARAM_VALUE 0 prog->type 28
PARAM_VALUE 4 attach_type 0-43,45-u32max
BUF_SIZE 0 prog s32min-(-2),1-s32max
BUF_SIZE 0 prog s32min-(-2),1-s32max
CAPPED_DATA 4 attach_type 1
DATA_SOURCE 0 prog r bpf_prog_get

kernel/bpf/syscall.c link_create() -> bpf_tracing_prog_attach()

Type Parameter Key Value
PARAM_VALUE 0 prog 4096-ptr_max
PARAM_VALUE 0 prog->expected_attach_type 3-7,16-18,24-27,37-38,58
PARAM_VALUE 0 prog->type 26,29
PARAM_VALUE 4 attach_type 3-7,16-18,23-28,37-38,43,58-61
BUF_SIZE 0 prog s32min-(-2),1-s32max
BUF_SIZE 0 prog s32min-(-2),1-s32max
CAPPED_DATA 0 prog->expected_attach_type 1
CAPPED_DATA 0 prog->type 1
CAPPED_DATA 4 attach_type 1
DATA_SOURCE 0 prog r bpf_prog_get
PARAM_COMPARE 4 attach_type == $0->expected_attach_type