Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 3 files:

Smatch caller information:

net/core/filter.c bpf_dynptr_from_skb() -> bpf_dynptr_set_null()

Type Parameter Key Value
DATA_SOURCE 0 ptr $2
NOCHECK_CALL

net/core/filter.c bpf_dynptr_from_skb_meta() -> bpf_dynptr_set_null()

Type Parameter Key Value
DATA_SOURCE 0 ptr $2
NOCHECK_CALL

net/core/filter.c bpf_dynptr_from_xdp() -> bpf_dynptr_set_null()

Type Parameter Key Value
DATA_SOURCE 0 ptr $2
NOCHECK_CALL

kernel/bpf/ringbuf.c ____bpf_ringbuf_discard_dynptr() -> bpf_dynptr_set_null()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
PARAM_VALUE 0 ptr->data 1-u64max
DATA_SOURCE 0 ptr $0
NOCHECK_CALL

kernel/bpf/ringbuf.c ____bpf_ringbuf_reserve_dynptr() -> bpf_dynptr_set_null()

Type Parameter Key Value
DATA_SOURCE 0 ptr $3
NOCHECK_CALL

kernel/bpf/ringbuf.c ____bpf_ringbuf_reserve_dynptr() -> bpf_dynptr_set_null()

Type Parameter Key Value
DATA_SOURCE 0 ptr $3
NOCHECK_CALL

kernel/bpf/ringbuf.c ____bpf_ringbuf_reserve_dynptr() -> bpf_dynptr_set_null()

Type Parameter Key Value
DATA_SOURCE 0 ptr $3
NOCHECK_CALL

kernel/bpf/ringbuf.c ____bpf_ringbuf_submit_dynptr() -> bpf_dynptr_set_null()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
PARAM_VALUE 0 ptr->data 1-u64max
DATA_SOURCE 0 ptr $0
NOCHECK_CALL

kernel/bpf/helpers.c ____bpf_dynptr_from_mem() -> bpf_dynptr_set_null()

Type Parameter Key Value
DATA_SOURCE 0 ptr $3
NOCHECK_CALL

kernel/bpf/helpers.c bpf_dynptr_clone() -> bpf_dynptr_set_null()

Type Parameter Key Value
DATA_SOURCE 0 ptr $1
NOCHECK_CALL

kernel/bpf/helpers.c bpf_dynptr_file_discard() -> bpf_dynptr_set_null()

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

kernel/bpf/helpers.c make_file_dynptr() -> bpf_dynptr_set_null()

Type Parameter Key Value
DATA_SOURCE 0 ptr $3
NOCHECK_CALL

kernel/bpf/helpers.c make_file_dynptr() -> bpf_dynptr_set_null()

Type Parameter Key Value
DATA_SOURCE 0 ptr $3
NOCHECK_CALL