Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/inode.c bpf_destroy_inode() -> bpf_any_put()

Type Parameter Key Value
PARAM_VALUE 1 type 1-3
BUF_SIZE 0 raw s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 raw unit_array_size

kernel/bpf/inode.c bpf_obj_get_user() -> bpf_any_put()

Type Parameter Key Value
PARAM_VALUE 0 raw 0-ptr_max
PARAM_VALUE 0 raw->ops 4096-ptr_max
PARAM_VALUE 1 type 1-3
BUF_SIZE 0 raw s32min-(-2),1-s32max
BUF_SIZE 0 raw s32min-(-2),1-s32max
DATA_SOURCE 0 raw r bpf_obj_do_get
NOCHECK_CALL

kernel/bpf/inode.c bpf_obj_pin_user() -> bpf_any_put()

Type Parameter Key Value
PARAM_VALUE 0 raw 4096-ptr_max
PARAM_VALUE 1 type 1-3
BUF_SIZE 0 raw s32min-(-2),1-s32max
BUF_SIZE 0 raw s32min-(-2),1-s32max
DATA_SOURCE 0 raw r bpf_fd_probe_obj
NOCHECK_CALL