Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 24 files:

Smatch caller information:

net/ipv6/datagram.c ip6_datagram_recv_common_ctl() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 50
PARAM_VALUE 3 len 20
PARAM_VALUE 4 data 7501424342185168896
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 20
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/ipv6/datagram.c ip6_datagram_recv_specific_ctl() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 52
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 8645344896630329344
PARAM_VALUE 4 *data 0-255
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/ipv6/datagram.c ip6_datagram_recv_specific_ctl() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 67
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 4562896609350615040
PARAM_VALUE 4 *data 0-255
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/ipv6/datagram.c ip6_datagram_recv_specific_ctl() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 11
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 2361860417108430848
PARAM_VALUE 4 *data 1-268435455
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/ipv6/datagram.c ip6_datagram_recv_specific_ctl() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 54
PARAM_VALUE 3 len 1-u16max
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
CAPPED_DATA 3 len 1
DATA_SOURCE 0 msg $1
DATA_SOURCE 3 len r ipv6_get_exthdr_len
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 4 data unit_byte

net/ipv6/datagram.c ip6_datagram_recv_specific_ctl() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 59
PARAM_VALUE 3 len 1-u16max
PARAM_VALUE 4 data 4096-ptr_max
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
CAPPED_DATA 3 len 1
DATA_SOURCE 0 msg $1
DATA_SOURCE 3 len r ipv6_get_exthdr_len
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 4 data unit_byte

net/ipv6/datagram.c ip6_datagram_recv_specific_ctl() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 57
PARAM_VALUE 3 len 1-u16max
PARAM_VALUE 4 data 4096-ptr_max
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
CAPPED_DATA 3 len 1
DATA_SOURCE 0 msg $1
DATA_SOURCE 3 len r ipv6_get_exthdr_len
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 4 data unit_byte

net/ipv6/datagram.c ip6_datagram_recv_specific_ctl() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 2
PARAM_VALUE 3 len 20
PARAM_VALUE 4 data 6049710554445422592
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 20
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/ipv6/datagram.c ip6_datagram_recv_specific_ctl() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 8
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 8645344896630329344
PARAM_VALUE 4 *data 0-255
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/ipv6/datagram.c ip6_datagram_recv_specific_ctl() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 3
PARAM_VALUE 3 len 1-u16max
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
CAPPED_DATA 3 len 1
DATA_SOURCE 0 msg $1
DATA_SOURCE 3 len r ipv6_get_exthdr_len
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 4 data unit_byte

net/ipv6/datagram.c ip6_datagram_recv_specific_ctl() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 4
PARAM_VALUE 3 len 1-u16max
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
CAPPED_DATA 3 len 1
DATA_SOURCE 0 msg $1
DATA_SOURCE 3 len r ipv6_get_exthdr_len
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max

net/ipv6/datagram.c ip6_datagram_recv_specific_ctl() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 5
PARAM_VALUE 3 len 1-u16max
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
CAPPED_DATA 3 len 1
DATA_SOURCE 0 msg $1
DATA_SOURCE 3 len r ipv6_get_exthdr_len
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max

net/ipv6/datagram.c ip6_datagram_recv_specific_ctl() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 4
PARAM_VALUE 3 len 1-u16max
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
CAPPED_DATA 3 len 1
DATA_SOURCE 0 msg $1
DATA_SOURCE 3 len r ipv6_get_exthdr_len
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max

net/ipv6/datagram.c ip6_datagram_recv_specific_ctl() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 74
PARAM_VALUE 3 len 28
PARAM_VALUE 4 data 8849122906638684160
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 28
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/ipv6/datagram.c ip6_datagram_recv_specific_ctl() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 77
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 25262090141863936
PARAM_VALUE 4 *data 1-u16max
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/ipv6/datagram.c ipv6_recv_error() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,84,104
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 25
PARAM_VALUE 3 len 44
PARAM_VALUE 4 data 7285796380971278336
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 44
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/ipv6/datagram.c ipv6_recv_rxpmtu() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,104
PARAM_VALUE 0 msg->msg_name 0,4096-ptr_max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 61
PARAM_VALUE 3 len 32
PARAM_VALUE 4 data 7262289853588353024
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 32
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/packet/af_packet.c packet_recvmsg() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,104
PARAM_VALUE 0 msg->msg_control_user 4096-ptr_max
PARAM_VALUE 1 level 263
PARAM_VALUE 2 type 8
PARAM_VALUE 3 len 20
PARAM_VALUE 4 data 8985319979409637376
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 20
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/ipv6/udp.c udp_cmsg_recv() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,104
PARAM_VALUE 0 msg->msg_control_user 4096-ptr_max
PARAM_VALUE 0 msg->msg_name 0,4096-ptr_max
PARAM_VALUE 1 level 17
PARAM_VALUE 2 type 104
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 5309197990865817600
PARAM_VALUE 4 *data 0-u16max
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/tipc/socket.c tipc_sk_anc_data_recv() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_controllen 1-u64max
PARAM_VALUE 0 msg->msg_name 0,4096-ptr_max
PARAM_VALUE 1 level 271
PARAM_VALUE 2 type 1
PARAM_VALUE 3 len 8
PARAM_VALUE 4 data 4096-ptr_max
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 12
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 1-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
LOCK2 sk
HALF_LOCKED2 &vq->mutex

net/tipc/socket.c tipc_sk_anc_data_recv() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_name 0,4096-ptr_max
PARAM_VALUE 1 level 271
PARAM_VALUE 2 type 2
PARAM_VALUE 3 len (-60)-(-1),1-131071
PARAM_VALUE 4 data 4096-ptr_max
PARAM_VALUE 4 *data 0-255
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
CAPPED_DATA 3 len 1
DATA_SOURCE 0 msg $0
DATA_SOURCE 3 len r msg_data_sz
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
USER_DATA 3 len (-60)-(-1),1-131071
USER_DATA 4 *data 0-255
USER_PTR 4 data
LOCK2 sk
HALF_LOCKED2 &vq->mutex

net/tipc/socket.c tipc_sk_anc_data_recv() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_name 0,4096-ptr_max
PARAM_VALUE 1 level 271
PARAM_VALUE 2 type 3
PARAM_VALUE 3 len 12
PARAM_VALUE 4 data 4096-ptr_max
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 12
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
LOCK2 sk
HALF_LOCKED2 &vq->mutex

net/ipv4/tcp.c tcp_recv_timestamp() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 64
PARAM_VALUE 3 len 16
PARAM_VALUE 4 data 1836586589661425664
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 16
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 sk

net/ipv4/tcp.c tcp_recv_timestamp() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 35
PARAM_VALUE 3 len 16
PARAM_VALUE 4 data 3725647219544776704
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 16
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 sk

net/ipv4/tcp.c tcp_recv_timestamp() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 63
PARAM_VALUE 3 len 16
PARAM_VALUE 4 data 4643733725639233536
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 16
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 sk

net/ipv4/tcp.c tcp_recv_timestamp() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 29
PARAM_VALUE 3 len 16
PARAM_VALUE 4 data 8287225952529334272
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 16
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 sk

net/ipv4/tcp.c tcp_recvmsg() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 6
PARAM_VALUE 2 type 36
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 4096-ptr_max
PARAM_VALUE 4 *data s32min-s32max
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/sctp/ulpevent.c __sctp_ulpevent_read_nxtinfo() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,104
PARAM_VALUE 0 msg->msg_control_user 4096-ptr_max
PARAM_VALUE 1 level 132
PARAM_VALUE 2 type 4
PARAM_VALUE 3 len 16
PARAM_VALUE 4 data 755171660247568384
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 16
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
MEM_ZERO 4 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
LOCK2 sk

net/sctp/ulpevent.c sctp_ulpevent_read_rcvinfo() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,84,104
PARAM_VALUE 0 msg->msg_control_user 4096-ptr_max
PARAM_VALUE 1 level 132
PARAM_VALUE 2 type 3
PARAM_VALUE 3 len 28
PARAM_VALUE 4 data 2102087020266266624
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 28
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
MEM_ZERO 4 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
LOCK2 sk

net/sctp/ulpevent.c sctp_ulpevent_read_sndrcvinfo() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,84,104
PARAM_VALUE 0 msg->msg_control_user 4096-ptr_max
PARAM_VALUE 1 level 132
PARAM_VALUE 2 type 1
PARAM_VALUE 3 len 32
PARAM_VALUE 4 data 8756547312997154816
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 32
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
MEM_ZERO 4 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
LOCK2 sk

net/llc/af_llc.c llc_cmsg_rcv() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 268
PARAM_VALUE 2 type 9
PARAM_VALUE 3 len 12
PARAM_VALUE 4 data 5359310108603744256
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 12
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
MEM_ZERO 4 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
LOCK2 sk
HALF_LOCKED2 &vq->mutex

net/rxrpc/rxgk.c rxgk_challenge_to_recvmsg() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 272
PARAM_VALUE 2 type 16
PARAM_VALUE 3 len 8
PARAM_VALUE 4 data 3892588181939781632
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 8
DATA_SOURCE 0 msg $2
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
LOCK2 &rx->sk
HALF_LOCKED2 &vq->mutex
TYPE_LOCK (struct rxrpc_sock)->sk

net/rxrpc/recvmsg.c rxrpc_recvmsg_oob() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 272
PARAM_VALUE 2 type 15
PARAM_VALUE 3 len 8
PARAM_VALUE 4 data 4096-ptr_max
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 8
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
LOCK2 &rx->sk
HALF_LOCKED2 &vq->mutex
TYPE_LOCK (struct rxrpc_sock)->sk

net/rxrpc/recvmsg.c rxrpc_recvmsg_term() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 272
PARAM_VALUE 2 type 3
PARAM_VALUE 3 len 0
PARAM_VALUE 4 data 8387947924195852288
PARAM_VALUE 4 *data 0
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
LOCK2 &call->user_mutex
HALF_LOCKED2 &vq->mutex
TYPE_LOCK (struct rxrpc_call)->user_mutex

net/rxrpc/recvmsg.c rxrpc_recvmsg_term() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 272
PARAM_VALUE 2 type 2
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 8387947924195852288
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
LOCK2 &call->user_mutex
HALF_LOCKED2 &vq->mutex
TYPE_LOCK (struct rxrpc_call)->user_mutex

net/rxrpc/recvmsg.c rxrpc_recvmsg_term() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 272
PARAM_VALUE 2 type 2
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 8387947924195852288
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
LOCK2 &call->user_mutex
HALF_LOCKED2 &vq->mutex
TYPE_LOCK (struct rxrpc_call)->user_mutex

net/rxrpc/recvmsg.c rxrpc_recvmsg_term() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 272
PARAM_VALUE 2 type 5
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 8387947924195852288
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
LOCK2 &call->user_mutex
HALF_LOCKED2 &vq->mutex
TYPE_LOCK (struct rxrpc_call)->user_mutex

net/rxrpc/recvmsg.c rxrpc_recvmsg_term() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 272
PARAM_VALUE 2 type 7
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 8387947924195852288
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
LOCK2 &call->user_mutex
HALF_LOCKED2 &vq->mutex
TYPE_LOCK (struct rxrpc_call)->user_mutex

net/rxrpc/recvmsg.c rxrpc_recvmsg_user_id() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 272
PARAM_VALUE 2 type 1
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 2335436392767676416
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
LOCK2 &call->user_mutex
HALF_LOCKED2 &vq->mutex
TYPE_LOCK (struct rxrpc_call)->user_mutex

net/rxrpc/recvmsg.c rxrpc_recvmsg_user_id() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 272
PARAM_VALUE 2 type 1
PARAM_VALUE 3 len 8
PARAM_VALUE 4 data 4687648711483662336
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 8
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
LOCK2 &call->user_mutex
HALF_LOCKED2 &vq->mutex
TYPE_LOCK (struct rxrpc_call)->user_mutex

net/bluetooth/hci_sock.c hci_sock_cmsg() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 0
PARAM_VALUE 2 type 1
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 8475472543722389504
PARAM_VALUE 4 *data 1
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &vq->mutex

net/bluetooth/hci_sock.c hci_sock_cmsg() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 0
PARAM_VALUE 2 type 2
PARAM_VALUE 3 len 8,16
PARAM_VALUE 4 data 6000931476094156800,7124911326778916864
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 8,16
BUF_SIZE 4 data 8,16
DATA_SOURCE 0 msg $1
FUZZY_MAX 3 len 16
BIT_INFO 3 len 0x0,0x18
BIT_INFO 4 data 0x4240850210008000,0x73e7d77a3add8000
BIT_INFO 4 data 0x4240850210008000,0x73e7d77a3add8000
NOSPEC 0 msg->msg_iter.count
HARD_MAX 3 len 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &vq->mutex

net/tls/tls_sw.c tls_record_content_type() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 282
PARAM_VALUE 2 type 2
PARAM_VALUE 3 len 1
PARAM_VALUE 4 data 8862289462877757440
PARAM_VALUE 4 *data 1-255
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
DATA_SOURCE 0 msg $0
DATA_SOURCE 4 data $2
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 sk

net/ipv6/ipv6_sockglue.c do_ipv6_getsockopt() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 8751802730641989632
PARAM_VALUE 0 msg->msg_controllen 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 msg->msg_flags 0
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 50
PARAM_VALUE 3 len 20
PARAM_VALUE 4 data 7634366306174091264
BUF_SIZE 4 data 20
RX_PATH
NOCHECK_CALL
USER_DATA 0 msg->msg_controllen 0-s32max,18446744071562067968-u64max
UNITS 3 len unit_byte
HALF_LOCKED2 sk

net/ipv6/ipv6_sockglue.c do_ipv6_getsockopt() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 8751802730641989632
PARAM_VALUE 0 msg->msg_flags 0,8-2147483654
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 52
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 3287000847329214464
PARAM_VALUE 4 *data 0-255
BUF_SIZE 4 data 4
RX_PATH
NOCHECK_CALL
USER_DATA 0 msg->msg_controllen 0-s32max,18446744071562067968-u64max
USER_DATA 0 msg->msg_flags 0,8-2147483654[c]
UNITS 3 len unit_byte
HALF_LOCKED2 sk

net/ipv6/ipv6_sockglue.c do_ipv6_getsockopt() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 8751802730641989632
PARAM_VALUE 0 msg->msg_flags 0,8-u32max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 67
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 3404462308606533632
PARAM_VALUE 4 *data 0-255
BUF_SIZE 4 data 4
RX_PATH
NOCHECK_CALL
USER_DATA 0 msg->msg_controllen 0-s32max,18446744071562067968-u64max
USER_DATA 0 msg->msg_flags 0,8-u32max[c]
UNITS 3 len unit_byte
HALF_LOCKED2 sk

net/ipv6/ipv6_sockglue.c do_ipv6_getsockopt() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 8751802730641989632
PARAM_VALUE 0 msg->msg_flags 0,8-u32max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 2
PARAM_VALUE 3 len 20
PARAM_VALUE 4 data 7634366306174091264
BUF_SIZE 4 data 20
RX_PATH
NOCHECK_CALL
USER_DATA 0 msg->msg_controllen 0-s32max,18446744071562067968-u64max
USER_DATA 0 msg->msg_flags 0,8-u32max[c]
UNITS 3 len unit_byte
HALF_LOCKED2 sk

net/ipv6/ipv6_sockglue.c do_ipv6_getsockopt() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 8751802730641989632
PARAM_VALUE 0 msg->msg_flags 0,8-u32max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 8
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 3287000847329214464
PARAM_VALUE 4 *data 0-255
BUF_SIZE 4 data 4
RX_PATH
NOCHECK_CALL
USER_DATA 0 msg->msg_controllen 0-s32max,18446744071562067968-u64max
USER_DATA 0 msg->msg_flags 0,8-u32max[c]
UNITS 3 len unit_byte
HALF_LOCKED2 sk

net/ipv6/ipv6_sockglue.c do_ipv6_getsockopt() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 8751802730641989632
PARAM_VALUE 0 msg->msg_flags 0,8-u32max
PARAM_VALUE 1 level 41
PARAM_VALUE 2 type 11
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 3284587242101354496
BUF_SIZE 4 data 4
RX_PATH
NOCHECK_CALL
USER_DATA 0 msg->msg_controllen 0-s32max,18446744071562067968-u64max
USER_DATA 0 msg->msg_flags 0,8-u32max[c]
UNITS 3 len unit_byte
HALF_LOCKED2 sk

net/ipv4/ip_sockglue.c do_ip_getsockopt() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 7304414333718990848
PARAM_VALUE 0 msg->msg_controllen 0-s32max
PARAM_VALUE 0 msg->msg_flags 0,2147483648
PARAM_VALUE 1 level 0
PARAM_VALUE 2 type 8
PARAM_VALUE 3 len 12
PARAM_VALUE 4 data 3369435657653895168
BUF_SIZE 4 data 12
RX_PATH
NOCHECK_CALL
USER_DATA 0 msg->msg_controllen 0-s32max
UNITS 3 len unit_byte

net/ipv4/ip_sockglue.c do_ip_getsockopt() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 7304414333718990848
PARAM_VALUE 0 msg->msg_flags 0,8-u32max
PARAM_VALUE 1 level 0
PARAM_VALUE 2 type 2
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 6367346575038562304
PARAM_VALUE 4 *data 0-255
BUF_SIZE 4 data 4
RX_PATH
NOCHECK_CALL
USER_DATA 0 msg->msg_controllen 0-s32max
USER_DATA 0 msg->msg_flags 0,8-u32max[c]
UNITS 3 len unit_byte

net/ipv4/ip_sockglue.c do_ip_getsockopt() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 7304414333718990848
PARAM_VALUE 0 msg->msg_flags 0,8-u32max
PARAM_VALUE 1 level 0
PARAM_VALUE 2 type 1
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 800311027876220928
PARAM_VALUE 4 *data 0-255
BUF_SIZE 4 data 4
RX_PATH
NOCHECK_CALL
USER_DATA 0 msg->msg_controllen 0-s32max
USER_DATA 0 msg->msg_flags 0,8-u32max[c]
UNITS 3 len unit_byte

net/ipv4/ip_sockglue.c ip_cmsg_recv_checksum() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,84,104
PARAM_VALUE 1 level 0
PARAM_VALUE 2 type 23
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 7202035720087830528
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/ipv4/ip_sockglue.c ip_cmsg_recv_dstaddr() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,84,104
PARAM_VALUE 1 level 0
PARAM_VALUE 2 type 20
PARAM_VALUE 3 len 16
PARAM_VALUE 4 data 7272960652042080256
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 16
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/ipv4/ip_sockglue.c ip_cmsg_recv_fragsize() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,84,104
PARAM_VALUE 1 level 0
PARAM_VALUE 2 type 25
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 2595357573223653376
PARAM_VALUE 4 *data 1-u16max
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/ipv4/ip_sockglue.c ip_cmsg_recv_opts() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,84,104
PARAM_VALUE 1 level 0
PARAM_VALUE 2 type 6
PARAM_VALUE 3 len 1-255
PARAM_VALUE 4 *data s32min-s32max
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/ipv4/ip_sockglue.c ip_cmsg_recv_pktinfo() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,84,104
PARAM_VALUE 1 level 0
PARAM_VALUE 2 type 8
PARAM_VALUE 3 len 12
PARAM_VALUE 4 data 5203283788715139072
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 12
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/ipv4/ip_sockglue.c ip_cmsg_recv_retopts() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,84,104
PARAM_VALUE 1 level 0
PARAM_VALUE 2 type 7
PARAM_VALUE 3 len 0
PARAM_VALUE 4 data 0
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 40
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/ipv4/ip_sockglue.c ip_cmsg_recv_security() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,84,104
PARAM_VALUE 1 level 0
PARAM_VALUE 2 type 3
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data s32min,1-s32max
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/ipv4/ip_sockglue.c ip_cmsg_recv_tos() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,84,104
PARAM_VALUE 1 level 0
PARAM_VALUE 2 type 1
PARAM_VALUE 3 len 1
PARAM_VALUE 4 data 4096-ptr_max
PARAM_VALUE 4 *data 0-255
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max

net/ipv4/ip_sockglue.c ip_cmsg_recv_ttl() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,84,104
PARAM_VALUE 1 level 0
PARAM_VALUE 2 type 2
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 7874844063350042624
PARAM_VALUE 4 *data 0-255
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/ipv4/ip_sockglue.c ip_recv_error() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,84,104
PARAM_VALUE 1 level 0
PARAM_VALUE 2 type 11
PARAM_VALUE 3 len 32
PARAM_VALUE 4 data 4432896497257578496
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 32
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/mptcp/protocol.c mptcp_recvmsg() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 6
PARAM_VALUE 2 type 36
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 6274065214889730048
PARAM_VALUE 4 *data 0-s32max
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
LOCK2 sk

net/core/scm.c __scm_recv_common() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control 1-u64max
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 2
PARAM_VALUE 3 len 12
PARAM_VALUE 4 data 7847960787034333184
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 12
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &u->iolock

net/core/scm.c put_cmsg_notrunc() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control 1-u64max
PARAM_VALUE 0 msg->msg_controllen 40-u64max
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 78-79
PARAM_VALUE 3 len 24
PARAM_VALUE 4 data 8722459808691429376
BUF_SIZE 4 data 24
BUF_SIZE 4 data 24
DATA_SOURCE 0 msg $0
DATA_SOURCE 1 level $1
DATA_SOURCE 2 type $2
DATA_SOURCE 3 len $3
DATA_SOURCE 4 data $4
FUZZY_MAX 0 msg->msg_controllen 40
HARD_MAX 2 type 79
UNITS 3 len unit_byte

net/core/scm.c put_cmsg_scm_timestamping() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 37
PARAM_VALUE 3 len 48
PARAM_VALUE 4 data 885797191377022976
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,52,128
BUF_SIZE 4 data 48
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/core/scm.c put_cmsg_scm_timestamping64() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 65
PARAM_VALUE 3 len 48
PARAM_VALUE 4 data 1231721296575119360
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,52,128
BUF_SIZE 4 data 48
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/core/scm.c scm_passec() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control 1-u64max
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 3
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data s32min,1-s32max
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &u->iolock

net/core/scm.c scm_pidfd_recv() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control 1-u64max
PARAM_VALUE 0 msg->msg_control_user 1-u64max
PARAM_VALUE 0 msg->msg_controllen 16-u64max
PARAM_VALUE 0 msg->msg_flags 0-2147483646,2147483648-u32max
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 4
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 8104943964872499200
PARAM_VALUE 4 *data s32min-s32max
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
LOCK2 &u->iolock
TYPE_LOCK (struct unix_sock)->iolock

net/ipv4/udp.c udp_cmsg_recv() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,104
PARAM_VALUE 0 msg->msg_control_user 4096-ptr_max
PARAM_VALUE 1 level 17
PARAM_VALUE 2 type 104
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 1961815570779447296
PARAM_VALUE 4 *data 0-u16max
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/core/sock.c sock_recv_errqueue() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,104
PARAM_VALUE 1 level 0,101,107,263,274,287
PARAM_VALUE 2 type 1,4,11,16
PARAM_VALUE 3 len 16
PARAM_VALUE 4 data 5515777947911872512
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 16
DATA_SOURCE 0 msg $1
DATA_SOURCE 1 level $3
DATA_SOURCE 2 type $4
NOSPEC 0 msg->msg_iter.count
HARD_MAX 1 level 287
HARD_MAX 2 type 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/ieee802154/socket.c dgram_recvmsg() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,104
PARAM_VALUE 0 msg->msg_control_user 4096-ptr_max
PARAM_VALUE 0 msg->msg_name 0,4096-ptr_max
PARAM_VALUE 1 level 0
PARAM_VALUE 2 type 3
PARAM_VALUE 3 len 1
PARAM_VALUE 4 *data 0-255
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte

net/socket.c __sock_recv_timestamp() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 63
PARAM_VALUE 3 len 16
PARAM_VALUE 4 data 1170044692402192384
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,52,128
BUF_SIZE 4 data 16
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &call->user_mutex
HALF_LOCKED2 &u->iolock

net/socket.c __sock_recv_timestamp() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 29
PARAM_VALUE 3 len 16
PARAM_VALUE 4 data 1170044692402192384
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,52,128
BUF_SIZE 4 data 16
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &call->user_mutex
HALF_LOCKED2 &u->iolock

net/socket.c __sock_recv_timestamp() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 64
PARAM_VALUE 3 len 16
PARAM_VALUE 4 data 8785028148742340608
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,52,128
BUF_SIZE 4 data 16
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &call->user_mutex
HALF_LOCKED2 &u->iolock

net/socket.c __sock_recv_timestamp() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 35
PARAM_VALUE 3 len 16
PARAM_VALUE 4 data 8785028148742340608
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,52,128
BUF_SIZE 4 data 16
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &call->user_mutex
HALF_LOCKED2 &u->iolock

net/socket.c __sock_recv_timestamp() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 54
PARAM_VALUE 3 len s32min-(-1),1-s32max
BUF_SIZE 0 msg->msg_name (-1)-0,12,52,128
BUF_SIZE 4 data 1-s32max
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
UNITS 4 data unit_byte
USER_PTR 4 data
HALF_LOCKED2 &call->user_mutex
HALF_LOCKED2 &u->iolock

net/socket.c __sock_recv_wifi_status() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 41
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 1535577346955231232
PARAM_VALUE 4 *data 0-1
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,52,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &call->user_mutex

net/socket.c put_ts_pktinfo() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 58
PARAM_VALUE 3 len 16
PARAM_VALUE 4 data 2233312171192434688
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,52,128
BUF_SIZE 4 data 16
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
MEM_ZERO 4 data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &call->user_mutex
HALF_LOCKED2 &u->iolock

net/socket.c sock_recv_drops() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,104
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 40
PARAM_VALUE 3 len 4
BUF_SIZE 0 msg->msg_name (-1)-0,12,52,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 sk

net/socket.c sock_recv_mark() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg->msg_control 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,104
PARAM_VALUE 0 msg->msg_control_user 4096-ptr_max
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 36
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 8490202824604979200
BUF_SIZE 0 msg->msg_name (-1)-0,12,52,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 sk

net/socket.c sock_recv_priority() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg->msg_control 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,104
PARAM_VALUE 0 msg->msg_control_user 4096-ptr_max
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 12
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 8780220553295163392
BUF_SIZE 0 msg->msg_name (-1)-0,12,52,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 sk

net/bluetooth/af_bluetooth.c bt_sock_recvmsg() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,104
PARAM_VALUE 0 msg->msg_control_user 4096-ptr_max
PARAM_VALUE 1 level 274
PARAM_VALUE 2 type 3
PARAM_VALUE 3 len 1
PARAM_VALUE 4 data 8609873440471863296
PARAM_VALUE 4 *data 0-3
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &vq->mutex

net/bluetooth/af_bluetooth.c bt_sock_recvmsg() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control 4096-ptr_max
PARAM_VALUE 0 msg->msg_control->cmsg_level 0-1,6,17,41,101,107,132,263,268,270-272,274,276,282,287
PARAM_VALUE 0 msg->msg_control->cmsg_type 1-9,11-13,15-16,20,23,25,29,35-37,40-41,50,52,54,57-59,61,63-65,67,74,77-79,104
PARAM_VALUE 0 msg->msg_control_user 4096-ptr_max
PARAM_VALUE 1 level 274
PARAM_VALUE 2 type 5
PARAM_VALUE 3 len 2
PARAM_VALUE 4 data 4538473840719794176
PARAM_VALUE 4 *data 0-u16max
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 2
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &vq->mutex

net/rds/recv.c rds_cmsg_recv() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 276
PARAM_VALUE 2 type 2
PARAM_VALUE 3 len 8
PARAM_VALUE 4 data 4096-ptr_max
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 8
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &vq->mutex

net/rds/recv.c rds_cmsg_recv() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 29
PARAM_VALUE 3 len 16
PARAM_VALUE 4 data 4894854693305044992
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 16
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &vq->mutex

net/rds/recv.c rds_cmsg_recv() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 1
PARAM_VALUE 2 type 63
PARAM_VALUE 3 len 16
PARAM_VALUE 4 data 2154456225414545408
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 16
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &vq->mutex

net/rds/recv.c rds_cmsg_recv() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 276
PARAM_VALUE 2 type 11
PARAM_VALUE 3 len 32
PARAM_VALUE 4 data 1511929688637095936
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 32
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
MEM_ZERO 4 data
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &vq->mutex

net/rds/recv.c rds_notify_cong() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 276
PARAM_VALUE 2 type 5
PARAM_VALUE 3 len 8
PARAM_VALUE 4 data 1192856251638329344
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 8
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &vq->mutex

net/rds/recv.c rds_notify_queue_get() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 1 level 276
PARAM_VALUE 2 type 4
PARAM_VALUE 3 len 16
PARAM_VALUE 4 data 5585563303015563264
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 16
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
MEM_ZERO 4 data
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &vq->mutex

net/rds/recv.c rds_recvmsg_zcookie() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_control 1-u64max
PARAM_VALUE 0 msg->msg_controllen 56-u64max
PARAM_VALUE 1 level 276
PARAM_VALUE 2 type 13
PARAM_VALUE 3 len 36
PARAM_VALUE 4 data 4096-ptr_max
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 36
DATA_SOURCE 0 msg $1
FUZZY_MAX 0 msg->msg_controllen 56
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 56-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &vq->mutex

net/can/j1939/socket.c j1939_sk_recvmsg() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 107
PARAM_VALUE 2 type 1
PARAM_VALUE 3 len 1
PARAM_VALUE 4 data 4096-ptr_max
PARAM_VALUE 4 *data 0-254
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/can/j1939/socket.c j1939_sk_recvmsg() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 107
PARAM_VALUE 2 type 2
PARAM_VALUE 3 len 8
PARAM_VALUE 4 data 4096-ptr_max
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 8
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/can/j1939/socket.c j1939_sk_recvmsg() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 1 level 107
PARAM_VALUE 2 type 3
PARAM_VALUE 3 len 1
PARAM_VALUE 4 data 4096-ptr_max
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &vq->mutex
HALF_LOCKED2 sk

net/netlink/af_netlink.c netlink_cmsg_listen_all_nsid() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_name 0,4096-ptr_max
PARAM_VALUE 1 level 270
PARAM_VALUE 2 type 8
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 4096-ptr_max
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $1
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &vq->mutex

net/netlink/af_netlink.c netlink_cmsg_recv_pktinfo() -> put_cmsg()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->msg_name 0,4096-ptr_max
PARAM_VALUE 1 level 270
PARAM_VALUE 2 type 3
PARAM_VALUE 3 len 4
PARAM_VALUE 4 data 8932275435347816448
BUF_SIZE 0 msg->msg_control (-1)-0,16-17,24
BUF_SIZE 0 msg->msg_name (-1)-0,12,128
BUF_SIZE 4 data 4
DATA_SOURCE 0 msg $0
NOSPEC 0 msg->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 msg->msg_control 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_control_user 4096-ptr_max[c][u]
USER_DATA 0 msg->msg_controllen 0-u64max
USER_DATA 0 msg->msg_flags 0-u32max[c]
USER_DATA 0 msg->msg_iter.count 0-u64max
USER_DATA 0 msg->msg_iter.iov_offset 0-u64max[c]
USER_DATA 0 *msg->msg_name s64min-s64max
UNITS 3 len unit_byte
HALF_LOCKED2 &vq->mutex