Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/tipc/socket.c tipc_send_group_bcast() -> tipc_mcast_xmit()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->gen 4096-ptr_max
PARAM_VALUE 1 pkts 2189553660715999232
PARAM_VALUE 1 pkts->next 4096-ptr_max
PARAM_VALUE 1 pkts->prev 4096-ptr_max
PARAM_VALUE 2 method 4096-ptr_max
PARAM_VALUE 3 dests 4096-ptr_max
PARAM_VALUE 4 cong_link_cnt 4096-ptr_max
PARAM_VALUE 4 *cong_link_cnt 0
BUF_SIZE 2 method 112
BUF_SIZE 3 dests 24
CAPPED_DATA 0 net->gen 1
DATA_SOURCE 3 dests r tipc_group_dests
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
HALF_LOCKED2 sk

net/tipc/socket.c tipc_sendmcast() -> tipc_mcast_xmit()

Type Parameter Key Value
PARAM_VALUE 0 net 4096-ptr_max
PARAM_VALUE 0 net->gen 4096-ptr_max
PARAM_VALUE 1 pkts 2994927922706333696
PARAM_VALUE 1 pkts->next 4096-ptr_max
PARAM_VALUE 1 pkts->prev 4096-ptr_max
PARAM_VALUE 2 method 4096-ptr_max
PARAM_VALUE 3 dests 8474472345807994880
PARAM_VALUE 3 dests->list.prev 4096-ptr_max
PARAM_VALUE 4 cong_link_cnt 4096-ptr_max
PARAM_VALUE 4 *cong_link_cnt 0
CAPPED_DATA 0 net->gen 1
MEM_ZERO 3 dests
RX_PATH
TASK_NOT_RUNNING
UNITS 0 net unit_byte
HALF_LOCKED2 sk