Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/bpf/crypto.c bpf_crypto_crypt() -> __bpf_dynptr_is_rdonly()

Type Parameter Key Value
DATA_SOURCE 0 ptr $2

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

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

kernel/bpf/helpers.c __bpf_dynptr_data_rw() -> __bpf_dynptr_is_rdonly()

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

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

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_is_rdonly() -> __bpf_dynptr_is_rdonly()

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

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

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

kernel/bpf/helpers.c bpf_dynptr_slice_rdwr() -> __bpf_dynptr_is_rdonly()

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