Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 sock 1-u64max
PARAM_VALUE 1 msg_sys 6646178110764380160,7067155996934815744
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 2 flags 0-2147483646,2147483648-u32max
PARAM_VALUE 3 used_address 0,6835959699769081856
PARAM_VALUE 4 allowed_msghdr_flags 0,128
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 $2
DATA_SOURCE 2 flags $3
DATA_SOURCE 3 used_address $4
DATA_SOURCE 4 allowed_msghdr_flags $5
HARD_MAX 4 allowed_msghdr_flags 128
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 flags 0-2147483646,2147483648-u32max
USER_PTR 1 msg_sys->msg_name

net/socket.c __sys_sendmsg_sock() -> ____sys_sendmsg()

Type Parameter Key Value
PARAM_VALUE 0 sock 1-u64max
PARAM_VALUE 3 used_address 0
PARAM_VALUE 4 allowed_msghdr_flags 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 flags $2
RX_PATH
TASK_NOT_RUNNING