Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/tipc/node.c __tipc_node_link_down() -> tipc_link_build_reset_msg()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 0 l->acked 0
PARAM_VALUE 0 l->backlogq.qlen 0-4294967295
PARAM_VALUE 0 l->bc_peer_is_up 0
PARAM_VALUE 0 l->deferdq.qlen 0-4294967295
PARAM_VALUE 0 l->failover_deferdq.qlen 0-4294967295
PARAM_VALUE 0 l->failover_reasm_skb 0
PARAM_VALUE 0 l->in_session 0
PARAM_VALUE 0 l->inputq 4096-ptr_max
PARAM_VALUE 0 l->inputq->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 l->inputq->qlen 0-4294967295
PARAM_VALUE 0 l->last_ga 0
PARAM_VALUE 0 l->last_gap 0
PARAM_VALUE 0 l->mon_state.acked_gen 0
PARAM_VALUE 0 l->mon_state.list_gen 0
PARAM_VALUE 0 l->mon_state.monitoring 0
PARAM_VALUE 0 l->mon_state.peer_gen 0
PARAM_VALUE 0 l->mon_state.probing 0
PARAM_VALUE 0 l->mon_state.reset 0
PARAM_VALUE 0 l->mon_state.synched 0
PARAM_VALUE 0 l->mtu 0-u16max
PARAM_VALUE 0 l->peer_session 0-u16max
PARAM_VALUE 0 l->rcv_nxt 1
PARAM_VALUE 0 l->rcv_nxt_state 1
PARAM_VALUE 0 l->rcv_unacked 0
PARAM_VALUE 0 l->reasm_buf 0
PARAM_VALUE 0 l->reasm_tnlmsg 0
PARAM_VALUE 0 l->rst_cnt 0
PARAM_VALUE 0 l->session 0-u16max
PARAM_VALUE 0 l->silent_intv_cnt 0
PARAM_VALUE 0 l->snd_nxt 1
PARAM_VALUE 0 l->snd_nxt_state 1
PARAM_VALUE 0 l->state 0-8191,8193-4294967295
PARAM_VALUE 0 l->stats.accu_queue_sz 0
PARAM_VALUE 0 l->stats.deferred_recv 0
PARAM_VALUE 0 l->stats.duplicates 0
PARAM_VALUE 0 l->stats.link_congs 0
PARAM_VALUE 0 l->stats.max_queue_sz 0
PARAM_VALUE 0 l->stats.msg_length_counts 0
PARAM_VALUE 0 l->stats.msg_lengths_total 0
PARAM_VALUE 0 l->stats.queue_sz_counts 0
PARAM_VALUE 0 l->stats.recv_bundled 0
PARAM_VALUE 0 l->stats.recv_bundles 0
PARAM_VALUE 0 l->stats.recv_fragmented 0
PARAM_VALUE 0 l->stats.recv_fragments 0
PARAM_VALUE 0 l->stats.recv_nacks 0
PARAM_VALUE 0 l->stats.recv_pkts 0
PARAM_VALUE 0 l->stats.recv_probes 0
PARAM_VALUE 0 l->stats.recv_states 0
PARAM_VALUE 0 l->stats.retransmitted 0
PARAM_VALUE 0 l->stats.sent_acks 0
PARAM_VALUE 0 l->stats.sent_bundled 0
PARAM_VALUE 0 l->stats.sent_bundles 0
PARAM_VALUE 0 l->stats.sent_fragmented 0
PARAM_VALUE 0 l->stats.sent_fragments 0
PARAM_VALUE 0 l->stats.sent_nacks 0
PARAM_VALUE 0 l->stats.sent_pkts 0
PARAM_VALUE 0 l->stats.sent_probes 0
PARAM_VALUE 0 l->stats.sent_states 0
PARAM_VALUE 0 l->transmq.qlen 0-4294967295
PARAM_VALUE 0 l->wakeupq.qlen 0
PARAM_VALUE 0 *l->failover_reasm_skb->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *l->reasm_buf->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *l->reasm_tnlmsg->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 xmitq 7521222884188319744,8069914181831122944
PARAM_VALUE 1 xmitq->next 4096-ptr_max
PARAM_VALUE 1 xmitq->prev 4096-ptr_max
CAPPED_DATA 0 l 1
DATA_SOURCE 1 xmitq $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &n->lock
LOCK2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct tipc_node)->lock