tipc_node_link_down identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

net/tipc/node.c, line 177 (as a prototype)

Defined in 1 files as a function:

net/tipc/node.c, line 1062 (as a function)

Referenced in 2 files:

Smatch caller information:

net/tipc/node.c tipc_node_check_dest() -> tipc_node_link_down()

Type	Parameter	Key	Value
PARAM_VALUE	0	n	4096-ptr_max
PARAM_VALUE	0	n->action_flags	0-2147483431
PARAM_VALUE	0	n->bc_entry.link->acked	0-u16max
PARAM_VALUE	0	n->bc_entry.link->ackers	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->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->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->bc_entry.link->tolerance	0-4294967295
PARAM_VALUE	0	n->keepalive_intv	0-500,10000
PARAM_VALUE	0	n->links	4096-ptr_max
PARAM_VALUE	0	n->lock.dep_map->name	0-255
PARAM_VALUE	0	n->lock.owner	(-1)
PARAM_VALUE	0	n->lock.owner_cpu	u32max
PARAM_VALUE	0	n->lock.raw_lock.wlocked	0
PARAM_VALUE	0	n->signature	0-u16max
PARAM_VALUE	0	n->timer.entry.pprev	0,4096-ptr_max
PARAM_VALUE	0	n->timer.lockdep_map->name	0-255
PARAM_VALUE	2	delete	0
BUF_SIZE	0	n	(-1),1464
BUF_SIZE	0	n	(-1),1464
CAPPED_DATA	0	n	1
CAPPED_DATA	0	n->signature	1
DATA_SOURCE	0	n	r tipc_node_create
NOSPEC	0	n->addr
NOSPEC	0	n->signature
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	n->addr	1-u32max[c]
USER_DATA	0	n->capabilities	0-u16max[c]
USER_DATA	0	n->peer_hash_mix	0-u32max
USER_DATA	0	n->signature	0-u16max[c]
USER_DATA	0	*n->peer_id_string	0-255
HALF_LOCKED2		rcu_read

net/tipc/node.c tipc_node_delete_links() -> tipc_node_link_down()

Type	Parameter	Key	Value
PARAM_VALUE	0	n	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->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	2	delete	1
DATA_SOURCE	1	bearer_id	$1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		rcu_read

net/tipc/node.c tipc_node_reset_links() -> tipc_node_link_down()

Type	Parameter	Key	Value
PARAM_VALUE	0	n	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->cong_acks	0-u16max
PARAM_VALUE	0	n->bc_entry.link->drop_point	0-u16max
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	0-u16max
PARAM_VALUE	0	n->bc_entry.link->nack_state	0-255
PARAM_VALUE	0	n->bc_entry.link->net_plane	0-255
PARAM_VALUE	0	n->bc_entry.link->peer_bearer_id	0-4294967295
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->priority	0-4294967295
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->ssthresh	0-u16max
PARAM_VALUE	0	n->bc_entry.link->state	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->tolerance	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->window	0-u16max
PARAM_VALUE	0	n->kref.refcount.refs.counter	(-1073741824),0-s32max
PARAM_VALUE	0	n->links	4096-ptr_max
PARAM_VALUE	0	n->preliminary	0
PARAM_VALUE	1	bearer_id	0-2
PARAM_VALUE	2	delete	0
CAPPED_DATA	0	n->addr	1
DATA_SOURCE	0	n	$0
FUZZY_MAX	1	bearer_id	2
HARD_MAX	1	bearer_id	2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		rcu_read

net/tipc/node.c tipc_node_timeout() -> tipc_node_link_down()

Type	Parameter	Key	Value
PARAM_VALUE	0	n	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->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->crypto_rx	4096-ptr_max
PARAM_VALUE	0	n->crypto_rx->key.keys	0-63
PARAM_VALUE	0	n->crypto_rx->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	n->crypto_rx->net	4096-ptr_max
PARAM_VALUE	0	n->crypto_rx->net->gen	4096-ptr_max
PARAM_VALUE	0	n->keepalive_intv	0-500,10000
PARAM_VALUE	0	n->links	4096-ptr_max
PARAM_VALUE	0	n->lock.dep_map->name	0-255
PARAM_VALUE	0	n->net	4096-ptr_max
PARAM_VALUE	0	n->net->gen	4096-ptr_max
PARAM_VALUE	0	*n->crypto_rx->aead	0
PARAM_VALUE	1	bearer_id	0-2
PARAM_VALUE	2	delete	0
CAPPED_DATA	0	n->crypto_rx->net->gen	1
CAPPED_DATA	0	n->net->gen	1
FUZZY_MAX	0	n->keepalive_intv	10000
FUZZY_MAX	1	bearer_id	0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/tipc/node.c tipc_node_xmit() -> tipc_node_link_down()

Type	Parameter	Key	Value
PARAM_VALUE	0	n	4096-ptr_max
PARAM_VALUE	0	n->active_links	4096-ptr_max
PARAM_VALUE	0	n->addr	1-u32max
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->preliminary	0
PARAM_VALUE	2	delete	0
CAPPED_DATA	0	n->addr	1
DATA_SOURCE	0	n	r tipc_node_find
BIT_INFO	1	bearer_id	0xffffffff,0xffffffff
NOSPEC	0	n->addr
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	n->addr	1-u32max[c]
HALF_LOCKED2		&nt->cluster_scope_lock