Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/tipc/bcast.c tipc_bcast_add_peer() -> tipc_link_add_bc_peer()

Type Parameter Key Value
PARAM_VALUE 1 uc_l 4096-ptr_max
PARAM_VALUE 1 uc_l->active 1
PARAM_VALUE 1 uc_l->rcv_unacked 0-4294967295
PARAM_VALUE 1 uc_l->snd_nxt 0-u16max
PARAM_VALUE 1 uc_l->state 2-4294967295
PARAM_VALUE 2 xmitq 8069914181831122944
PARAM_VALUE 2 xmitq->next 4096-ptr_max
PARAM_VALUE 2 xmitq->prev 4096-ptr_max
CAPPED_DATA 1 uc_l 1
DATA_SOURCE 0 snd_l r tipc_bc_sndlink
DATA_SOURCE 1 uc_l $1
DATA_SOURCE 2 xmitq $2
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &n->lock
LOCK2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct tipc_node)->lock