Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/socket.c __sys_sendmmsg() -> ___sys_sendmsg()

Type Parameter Key Value
PARAM_VALUE 0 sock 1-u64max
PARAM_VALUE 2 msg_sys 6646178110764380160
PARAM_VALUE 3 flags 2147483648-u32max
PARAM_VALUE 4 used_address 6835959699769081856
PARAM_VALUE 4 used_address->name_len 0-128,u32max
PARAM_VALUE 5 allowed_msghdr_flags 128
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 3 flags $3 [m]
USER_DATA 2 msg_sys->msg_flags 0-u32max[c]
USER_DATA 3 flags 2147483648-u32max
USER_PTR 2 msg_sys->msg_name

net/socket.c __sys_sendmmsg() -> ___sys_sendmsg()

Type Parameter Key Value
PARAM_VALUE 0 sock 1-u64max
PARAM_VALUE 2 msg_sys 6646178110764380160
PARAM_VALUE 3 flags 0-2147483646
PARAM_VALUE 4 used_address 6835959699769081856
PARAM_VALUE 4 used_address->name_len 0-128,u32max
PARAM_VALUE 5 allowed_msghdr_flags 128
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 3 flags $3 [m]
USER_DATA 2 msg_sys->msg_flags 0-u32max[c]
USER_DATA 3 flags 0-2147483646
USER_PTR 2 msg_sys->msg_name

net/socket.c __sys_sendmsg() -> ___sys_sendmsg()

Type Parameter Key Value
PARAM_VALUE 0 sock 1-u64max
PARAM_VALUE 2 msg_sys 7067155996934815744
PARAM_VALUE 4 used_address 0
PARAM_VALUE 5 allowed_msghdr_flags 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