Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/syscall.c bpf_obj_pin_uptrs() -> __bpf_obj_unpin_uptrs()

Type Parameter Key Value
PARAM_VALUE 0 rec 4096-ptr_max
PARAM_VALUE 0 rec->cnt 1-u32max
PARAM_VALUE 0 rec->field_mask 2048-u32max
PARAM_VALUE 1 cnt 0-s32max
PARAM_VALUE 2 obj 16,4096-ptr_max
BUF_SIZE 2 obj (-1)-s32max
BUF_SIZE 2 obj (-1)-s32max
CAPPED_DATA 1 cnt 1
DATA_SOURCE 0 rec $0
DATA_SOURCE 2 obj $1
FUZZY_MAX 0 rec->cnt 1
PARAM_COMPARE 1 cnt < $0->cnt
NOCHECK_CALL
USER_DATA 2 *obj s64min-s64max
USER_PTR 2 obj

kernel/bpf/syscall.c bpf_obj_unpin_uptrs() -> __bpf_obj_unpin_uptrs()

Type Parameter Key Value
PARAM_VALUE 0 rec 4096-ptr_max
PARAM_VALUE 0 rec->field_mask 2048-u32max
PARAM_VALUE 2 obj 16,4096-ptr_max
BUF_SIZE 2 obj (-1)-s32max
BUF_SIZE 2 obj (-1)-s32max
DATA_SOURCE 0 rec $0
DATA_SOURCE 2 obj $1
NOCHECK_CALL
USER_DATA 2 *obj s64min-s64max
USER_PTR 2 obj