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 2 msg_sys 7296525252567363584
PARAM_VALUE 4 nosec 0
BUF_SIZE 0 sock s32min-(-2),1-s32max
BUF_SIZE 0 sock s32min-(-2),1-s32max
DATA_SOURCE 0 sock r sock_from_file
DATA_SOURCE 1 msg $1
DATA_SOURCE 3 flags $2
USER_DATA 1 msg 0-u64max
USER_DATA 3 flags 0-u32max

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

Type Parameter Key Value
PARAM_VALUE 0 sock 1-u64max
PARAM_VALUE 2 msg_sys 3857169792411197440
PARAM_VALUE 3 flags 0,2147483648-u32max
PARAM_VALUE 4 nosec 0-s32max
BUF_SIZE 0 sock s32min-(-2),1-s32max
BUF_SIZE 0 sock s32min-(-2),1-s32max
CAPPED_DATA 4 nosec 1
DATA_SOURCE 0 sock r sock_from_file
FUZZY_MAX 4 nosec 0
BIT_INFO 3 flags 0x0,0xfffeffff
USER_DATA 3 flags 0,2147483648-u32max[c]
USER_PTR 2 msg_sys->msg_name

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

Type Parameter Key Value
PARAM_VALUE 0 sock 1-u64max
PARAM_VALUE 2 msg_sys 3857169792411197440
PARAM_VALUE 3 flags 0,64-2147418110
PARAM_VALUE 4 nosec 0-s32max
BUF_SIZE 0 sock s32min-(-2),1-s32max
BUF_SIZE 0 sock s32min-(-2),1-s32max
CAPPED_DATA 4 nosec 1
DATA_SOURCE 0 sock r sock_from_file
FUZZY_MAX 4 nosec 0
BIT_INFO 3 flags 0x0,0x7ffeffff
USER_DATA 3 flags 0,64-2147418110[c]
USER_PTR 2 msg_sys->msg_name