Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/tipc/socket.c tipc_send_group_anycast() -> tipc_send_group_msg()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->gen 4096-ptr_max
PARAM_VALUE 1 tsk 4096-ptr_max
PARAM_VALUE 1 tsk->group 4096-ptr_max
PARAM_VALUE 1 tsk->group->loopback 0-1
PARAM_VALUE 2 m 4096-ptr_max
PARAM_VALUE 2 m->msg_name 4096-ptr_max
PARAM_VALUE 2 m->msg_namelen s32min-(-1),16-s32max
PARAM_VALUE 3 mb 4096-ptr_max
PARAM_VALUE 3 mb->state 1-6,8-4294967295
PARAM_VALUE 6 dlen 0-66000
BUF_SIZE 2 m->msg_control (-1)-0,16,24,36-s32max
BUF_SIZE 2 m->msg_name (-1)-0,12,28,128
BUF_SIZE 2 m->msg_ubuf (-1),16
DATA_SOURCE 1 tsk r tipc_sk
DATA_SOURCE 2 m $1
DATA_SOURCE 6 dlen $2
NOSPEC 2 m->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 m->msg_controllen 0-s32max[c]
USER_DATA 2 m->msg_flags 0-u32max[c]
USER_DATA 2 m->msg_iter.count 1-18446744073709551614
USER_DATA 2 m->msg_iter.iov_offset 0-u64max[c]
USER_DATA 2 m->msg_namelen 16-128
USER_DATA 2 *m->msg_name s64min-s64max
USER_DATA 6 dlen 0-66000
UNITS 0 net unit_byte
USER_PTR 2 m->msg_control
USER_PTR 2 m->msg_name
HALF_LOCKED2 sk

net/tipc/socket.c tipc_send_group_unicast() -> tipc_send_group_msg()

Type Parameter Key Value
PARAM_VALUE 1 tsk 4096-ptr_max
PARAM_VALUE 1 tsk->group 4096-ptr_max
PARAM_VALUE 2 m 4096-ptr_max
PARAM_VALUE 2 m->msg_name 4096-ptr_max
PARAM_VALUE 2 m->msg_namelen s32min-(-1),16-s32max
PARAM_VALUE 3 mb 4096-ptr_max
PARAM_VALUE 3 mb->state 1-6,8-4294967295
PARAM_VALUE 6 dlen 0-66000
BUF_SIZE 2 m->msg_control (-1)-0,16,24,36-s32max
BUF_SIZE 2 m->msg_name (-1)-s32max
BUF_SIZE 2 m->msg_ubuf (-1),16
DATA_SOURCE 1 tsk r tipc_sk
DATA_SOURCE 2 m $1
DATA_SOURCE 6 dlen $2
NOSPEC 2 m->msg_iter.count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 m->msg_controllen 0-s32max[c]
USER_DATA 2 m->msg_flags 0-u32max[c]
USER_DATA 2 m->msg_iter.count 1-18446744073709551614
USER_DATA 2 m->msg_iter.iov_offset 0-u64max[c]
USER_DATA 2 m->msg_namelen 16-128
USER_DATA 2 *m->msg_name s64min-s64max
USER_DATA 4 dnode 0-u32max
USER_DATA 5 dport 0-u32max[u]
USER_DATA 6 dlen 0-66000
UNITS 0 net unit_byte
USER_PTR 2 m->msg_control
USER_PTR 2 m->msg_name
HALF_LOCKED2 sk