Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/core/scm.c __scm_send() -> scm_fp_copy()

Type Parameter Key Value
PARAM_VALUE 0 cmsg 4096-ptr_max
PARAM_VALUE 0 cmsg->cmsg_len 16-u64max
PARAM_VALUE 0 cmsg->cmsg_level 1
PARAM_VALUE 0 cmsg->cmsg_type 1
PARAM_VALUE 1 fplp 1364153323681607688,4602298320966565896,4671398612165189640
PARAM_VALUE 1 *fplp 0,4096-ptr_max
BUF_SIZE 0 cmsg (-1)-0,16,24,36-s32max
BUF_SIZE 0 cmsg (-1)-0,16,24,36-s32max
CAPPED_DATA 0 cmsg->cmsg_len 1
NOSPEC 0 cmsg->cmsg_len
MEM_ZERO 1 fplp
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 cmsg->cmsg_len 16-s32max[c]
USER_DATA 0 cmsg->cmsg_type 1
USER_PTR 0 cmsg
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk