Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/tipc/node.c tipc_node_check_state() -> tipc_node_link_failover()

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->bc_entry.link 4096-ptr_max
PARAM_VALUE 0 n->bc_entry.link->acked 0-u16max
PARAM_VALUE 0 n->bc_entry.link->bc_peer_is_up 0-1
PARAM_VALUE 0 n->bc_entry.link->failover_reasm_skb 0-s64max
PARAM_VALUE 0 n->bc_entry.link->in_session 0-1
PARAM_VALUE 0 n->bc_entry.link->last_gap 0-u16max
PARAM_VALUE 0 n->bc_entry.link->mtu s32min-4294967295
PARAM_VALUE 0 n->bc_entry.link->nack_state 0-255
PARAM_VALUE 0 n->bc_entry.link->peer_caps 0-u16max
PARAM_VALUE 0 n->bc_entry.link->peer_session 0-u16max
PARAM_VALUE 0 n->bc_entry.link->rcv_nxt 0-u16max
PARAM_VALUE 0 n->bc_entry.link->rcv_nxt_state 0-u16max
PARAM_VALUE 0 n->bc_entry.link->rcv_unacked 0-4294967295
PARAM_VALUE 0 n->bc_entry.link->reasm_tnlmsg 0-s64max
PARAM_VALUE 0 n->bc_entry.link->rst_cnt 0-u16max
PARAM_VALUE 0 n->bc_entry.link->session 0-u16max
PARAM_VALUE 0 n->bc_entry.link->silent_intv_cnt 0-4294967295
PARAM_VALUE 0 n->bc_entry.link->snd_nxt 0-u16max
PARAM_VALUE 0 n->bc_entry.link->snd_nxt_state 0-u16max
PARAM_VALUE 0 n->bc_entry.link->state 0-4294967295
PARAM_VALUE 0 n->kref.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 n->links 4096-ptr_max
PARAM_VALUE 0 n->lock.dep_map->name 0-255
PARAM_VALUE 0 n->lock.owner_cpu 0
PARAM_VALUE 0 n->lock.raw_lock.cnts.counter 0-s32max
PARAM_VALUE 0 n->preliminary 0
PARAM_VALUE 0 n->state s32min-239,241-s32max
PARAM_VALUE 1 l 0,4096-ptr_max
PARAM_VALUE 1 l->state 32-4294967295
PARAM_VALUE 2 tnl 4096-ptr_max
PARAM_VALUE 2 tnl->in_session 0-1
PARAM_VALUE 2 tnl->peer_caps 0-u16max
PARAM_VALUE 2 tnl->state 0-4294967295
PARAM_VALUE 3 xmitq 8069914181831122944
PARAM_VALUE 3 xmitq->next 4096-ptr_max
PARAM_VALUE 3 xmitq->prev 4096-ptr_max
CAPPED_DATA 0 n->addr 1
DATA_SOURCE 0 n $0
DATA_SOURCE 3 xmitq $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
LOCK2 0 &n->lock
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct tipc_node)->lock