Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/trace/bpf_trace.c __bpf_dynptr_copy() -> __bpf_dynptr_write()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 2 src 4550695457515802624
PARAM_VALUE 3 len 1-256
PARAM_VALUE 4 flags 0
BUF_SIZE 2 src 256
CAPPED_DATA 1 offset 1
CAPPED_DATA 3 len 1
CAPPED_DATA 3 len 1
DATA_SOURCE 0 dst $0
UNITS 3 len unit_byte
USER_PTR 2 src

kernel/trace/bpf_trace.c __bpf_dynptr_copy_str() -> __bpf_dynptr_write()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 2 src 4600807985369927680
PARAM_VALUE 3 len 0-s32max
PARAM_VALUE 4 flags 0
BUF_SIZE 2 src 256
CAPPED_DATA 1 offset 1
DATA_SOURCE 0 dst $0
DATA_SOURCE 3 len r str_copy_fn
UNITS 3 len unit_byte

kernel/bpf/helpers.c ____bpf_dynptr_write() -> __bpf_dynptr_write()

Type Parameter Key Value
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 src $2
DATA_SOURCE 3 len $3
DATA_SOURCE 4 flags $4

kernel/bpf/helpers.c bpf_dynptr_copy() -> __bpf_dynptr_write()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 2 src 1-u64max
PARAM_VALUE 4 flags 0
CAPPED_DATA 3 len 1
CAPPED_DATA 3 len 1
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 src r bpf_dynptr_slice
DATA_SOURCE 3 len $4

kernel/bpf/helpers.c bpf_dynptr_copy() -> __bpf_dynptr_write()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 2 src 1057498917011509248
PARAM_VALUE 3 len 1-256
PARAM_VALUE 4 flags 0
BUF_SIZE 2 src 256
CAPPED_DATA 1 offset 1
CAPPED_DATA 3 len 1
CAPPED_DATA 3 len 1
DATA_SOURCE 0 dst $0
UNITS 3 len unit_byte

kernel/bpf/helpers.c bpf_dynptr_memset() -> __bpf_dynptr_write()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 2 src 6365133637097549824
PARAM_VALUE 3 len 1-256
PARAM_VALUE 4 flags 0
BUF_SIZE 2 src 256
CAPPED_DATA 1 offset 1
CAPPED_DATA 3 len 1
CAPPED_DATA 3 len 1
DATA_SOURCE 0 dst $0
UNITS 3 len unit_byte