Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 grp 4096-ptr_max
PARAM_VALUE 0 grp->loopback 0-1
PARAM_VALUE 3 len 1-65
PARAM_VALUE 4 mbr 9116930998138544128
PARAM_VALUE 4 *mbr 0,4096-ptr_max
DATA_SOURCE 3 len r tsk_blocks
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 0 grp 4096-ptr_max
PARAM_VALUE 0 grp->loopback 0-1
PARAM_VALUE 3 len 1-65
PARAM_VALUE 4 mbr 9116930998138544128
PARAM_VALUE 4 *mbr 4096-ptr_max
DATA_SOURCE 3 len r tsk_blocks
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk
HALF_LOCKED2 sk_

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

Type Parameter Key Value
PARAM_VALUE 0 grp 4096-ptr_max
PARAM_VALUE 0 grp->loopback 0-1
PARAM_VALUE 3 len 1-65
PARAM_VALUE 4 mbr 9116930998138544128
PARAM_VALUE 4 *mbr 4096-ptr_max
DATA_SOURCE 3 len r tsk_blocks
RX_PATH
TASK_NOT_RUNNING
LOCK2 sk_
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 0 grp 1-u64max
PARAM_VALUE 3 len 1-65
PARAM_VALUE 4 mbr 2392741436733419520
PARAM_VALUE 4 *mbr 0,4096-ptr_max
DATA_SOURCE 3 len r tsk_blocks
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 dnode 0-u32max
USER_DATA 2 dport 0-u32max[u]
HALF_LOCKED2 sk
HALF_LOCKED2 sk_

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

Type Parameter Key Value
PARAM_VALUE 0 grp 1-u64max
PARAM_VALUE 3 len 1-65
PARAM_VALUE 4 mbr 2392741436733419520
PARAM_VALUE 4 *mbr 0,4096-ptr_max
DATA_SOURCE 3 len r tsk_blocks
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 dnode 0-u32max
USER_DATA 2 dport 0-u32max[u]
LOCK2 sk_
HALF_LOCKED2 sk

net/tipc/group.c tipc_group_bc_cong() -> tipc_group_cong()

Type Parameter Key Value
PARAM_VALUE 0 grp 4096-ptr_max
PARAM_VALUE 0 grp->bc_ackers 0
PARAM_VALUE 3 len 1-65
PARAM_VALUE 4 mbr 3463597568462581760
PARAM_VALUE 4 *mbr 4096-ptr_max
CAPPED_DATA 0 &grp->small_win 1
DATA_SOURCE 0 grp $0
DATA_SOURCE 3 len $1
PARAM_COMPARE 0 &grp->small_win != $0->small_win.next
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk
HALF_LOCKED2 sk_