Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 btp 4096-ptr_max
PARAM_VALUE 0 btp->tp 4096-ptr_max
PARAM_VALUE 0 btp->tp->ext 0,4096-ptr_max
PARAM_VALUE 0 btp->tp->ext->faultable 0
DATA_SOURCE 0 btp r bpf_get_raw_tracepoint
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 btp 1-u64max
DATA_SOURCE 0 btp r bpf_get_raw_tracepoint
NOCHECK_CALL

kernel/bpf/syscall.c bpf_raw_tp_link_release() -> bpf_put_raw_tracepoint()

Type Parameter Key Value
PARAM_VALUE 0 btp 4096-ptr_max
PARAM_VALUE 0 btp->tp 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/bpf/verifier.c bpf_check_attach_target() -> bpf_put_raw_tracepoint()

Type Parameter Key Value
PARAM_VALUE 0 btp 4096-ptr_max
PARAM_VALUE 0 btp->tp 4096-ptr_max
PARAM_VALUE 0 btp->tp->ext 0,4096-ptr_max
PARAM_VALUE 0 btp->tp->ext->faultable 0
DATA_SOURCE 0 btp r bpf_get_raw_tracepoint
NOCHECK_CALL
HALF_LOCKED2 global &cgroup_mutex

kernel/bpf/verifier.c bpf_check_attach_target() -> bpf_put_raw_tracepoint()

Type Parameter Key Value
PARAM_VALUE 0 btp 4096-ptr_max
DATA_SOURCE 0 btp r bpf_get_raw_tracepoint
NOCHECK_CALL
HALF_LOCKED2 global &cgroup_mutex