Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->state 1-6,8-u32max
DATA_SOURCE 0 m r tipc_group_find_dest
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk
HALF_LOCKED2 sk_

net/tipc/group.c tipc_group_find_dest() -> tipc_group_is_receiver()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
DATA_SOURCE 0 m r tipc_group_find_member
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk
HALF_LOCKED2 sk_

net/tipc/group.c tipc_group_update_bc_members() -> tipc_group_is_receiver()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 m unit_byte
HALF_LOCKED2 sk

net/tipc/group.c tipc_group_update_member() -> tipc_group_is_receiver()

Type Parameter Key Value
PARAM_VALUE 0 m 4096-ptr_max
BUF_SIZE 0 m (-1),192
BUF_SIZE 0 m (-1),192
DATA_SOURCE 0 m $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 m->bc_acked 0-u16max[c]
USER_DATA 0 m->bc_rcv_nxt 0-u16max[c]
USER_DATA 0 m->bc_syncpt 0-u16max[c]
USER_DATA 0 m->instance 0-u32max
USER_DATA 0 m->node 0-u32max
USER_DATA 0 m->port 0-u32max
USER_DATA 0 m->window 0-u16max[u]
UNITS 0 m unit_byte
HALF_LOCKED2 sk