Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/helpers.c ____bpf_dynptr_data() -> bpf_dynptr_get_type()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
DATA_SOURCE 0 ptr $0

kernel/bpf/helpers.c __bpf_dynptr_read() -> bpf_dynptr_get_type()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
DATA_SOURCE 0 ptr $2

kernel/bpf/helpers.c __bpf_dynptr_size() -> bpf_dynptr_get_type()

Type Parameter Key Value
DATA_SOURCE 0 ptr $0
NO_OVERFLOW_SIMPLE 0 ptr->data->freader.file->f_path.dentry->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 ptr->data->freader.file->f_path.moved->d_inode->i_size
HALF_LOCKED2 &inode->i_rwsem

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

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
DATA_SOURCE 0 ptr $0
NO_OVERFLOW_SIMPLE 0 ptr->data->end

kernel/bpf/helpers.c bpf_dynptr_advance_offset() -> bpf_dynptr_get_type()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
DATA_SOURCE 0 ptr $0

kernel/bpf/helpers.c bpf_dynptr_set_size() -> bpf_dynptr_get_type()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
DATA_SOURCE 0 ptr $0

kernel/bpf/helpers.c bpf_dynptr_slice() -> bpf_dynptr_get_type()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
DATA_SOURCE 0 ptr $0