Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 kmsg 4096-ptr_max
PARAM_VALUE 0 kmsg->msg_controllen 1-s32max
PARAM_VALUE 2 stackbuf 1833684290395766784
PARAM_VALUE 3 stackbuf_size 36
BUF_SIZE 2 stackbuf 36
DATA_SOURCE 0 kmsg $1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 kmsg->msg_controllen 1-s32max
USER_DATA 0 kmsg->msg_flags 0-u32max
USER_DATA 0 *kmsg->msg_name s64min-s64max
UNITS 1 sk unit_byte
UNITS 3 stackbuf_size unit_byte
USER_PTR 0 kmsg->msg_name