Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/socket.c ___sys_recvmsg() -> ____sys_recvmsg()

Type Parameter Key Value
PARAM_VALUE 0 sock 1-u64max
PARAM_VALUE 1 msg_sys 3857169792411197440,7296525252567363584
PARAM_VALUE 1 msg_sys->msg_control_is_user 1
PARAM_VALUE 1 msg_sys->msg_get_inq 0
PARAM_VALUE 1 msg_sys->msg_namelen 0-128
PARAM_VALUE 1 msg_sys->msg_ubuf 0
PARAM_VALUE 4 flags 0-2147483646,2147483648-u32max
PARAM_VALUE 5 nosec 0-s32max
BUF_SIZE 0 sock s32min-(-2),1-s32max
BUF_SIZE 0 sock s32min-(-2),1-s32max
CAPPED_DATA 5 nosec 1
DATA_SOURCE 0 sock $0
DATA_SOURCE 1 msg_sys $2
DATA_SOURCE 2 msg $1
DATA_SOURCE 4 flags $3
DATA_SOURCE 5 nosec $4
USER_DATA 1 msg_sys->msg_controllen 0-u64max
USER_DATA 1 msg_sys->msg_flags 0-u32max
USER_DATA 1 msg_sys->msg_name->ss_family 0-u16max
USER_DATA 1 *msg_sys->msg_name s64min-s64max
USER_DATA 2 msg 0-u64max
USER_DATA 4 flags 0-2147483646,2147483648-u32max
NO_OVERFLOW_SIMPLE 1 msg_sys->msg_name
USER_PTR 1 msg_sys->msg_name

net/socket.c __sys_recvmsg_sock() -> ____sys_recvmsg()

Type Parameter Key Value
PARAM_VALUE 0 sock 1-u64max
PARAM_VALUE 1 msg_sys->msg_get_inq 1
PARAM_VALUE 1 msg_sys->msg_inq (-1)
PARAM_VALUE 5 nosec 0
BUF_SIZE 0 sock s32min-(-2),1-s32max
BUF_SIZE 0 sock s32min-(-2),1-s32max
DATA_SOURCE 0 sock $0
DATA_SOURCE 1 msg_sys $1
DATA_SOURCE 2 msg $2
DATA_SOURCE 3 uaddr $3
DATA_SOURCE 4 flags $4
RX_PATH
TASK_NOT_RUNNING