tipc_node_reset_links identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

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

Referenced in 2 files:

Smatch caller information:

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

Type	Parameter	Key	Value
PARAM_VALUE	0	n	4096-ptr_max
PARAM_VALUE	0	n->bc_entry.inputq1.next	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->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_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->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->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->bc_entry.namedq.next	4096-ptr_max
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
CAPPED_DATA	0	n->addr	1
CAPPED_DATA	0	n->bc_entry.namedq.next	1
CAPPED_DATA	0	&n->bc_entry.namedq	1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		rcu_read

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

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->bc_sndlink->backlogq.qlen	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->inputq->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->inputq->qlen	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->rcv_unacked	0
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->snd_nxt	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->state	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->stats.recv_nacks	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->stats.retransmitted	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->stats.sent_pkts	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->transmq.qlen	0-s32max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->active_extensions	0-255
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->alloc_cpu	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->cloned	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->csum	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->csum_complete_sw	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->csum_level	0-3
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->csum_not_inet	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->csum_offset	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->csum_start	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->csum_valid	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->data_len	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->decrypted	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->dst_pending_confirm	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->encap_hdr_csum	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->encapsulation	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->end	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->fclone	0-3
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->from_ingress	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->hash	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->hdr_len	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->head_frag	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.alloc_cpu	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.csum	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.csum_complete_sw	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.csum_level	0-3
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.csum_not_inet	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.csum_offset	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.csum_start	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.csum_valid	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.decrypted	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.dst_pending_confirm	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.encap_hdr_csum	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.encapsulation	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.from_ingress	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.hash	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.ignore_df	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.inner_ipproto	0-255
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.inner_mac_header	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.inner_network_header	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.inner_protocol	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.inner_protocol_type	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.inner_transport_header	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.ip_summed	0-3
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.ipvs_property	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.l4_hash	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.mac_header	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.mark	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.napi_id	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.ndisc_nodetype	0-3
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.network_header	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.nf_skip_egress	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.nf_trace	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.no_fcs	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.offload_fwd_mark	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.offload_l3_fwd_mark	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.ooo_okay	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.pkt_type	0-7
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.priority	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.protocol	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.redirected	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.remcsum_offload	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.reserved_tailroom	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.secmark	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.sender_cpu	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.skb_iif	s32min-s32max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.slow_gro	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.sw_hash	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.tc_at_ingress	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.tc_depth	0-3
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.tc_index	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.tc_skip_classify	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.transport_header	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.tstamp_type	0-3
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.unreadable	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.vlan_all	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.vlan_proto	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.vlan_tci	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.wifi_acked	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->headers.wifi_acked_valid	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->ignore_df	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->inner_ipproto	0-255
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->inner_mac_header	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->inner_network_header	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->inner_protocol	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->inner_protocol_type	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->inner_transport_header	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->ip_summed	0-3
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->ipvs_property	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->l4_hash	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->len	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->mac_header	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->mac_len	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->mark	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->napi_id	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->ndisc_nodetype	0-3
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->network_header	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->nf_skip_egress	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->nf_trace	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->no_fcs	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->nohdr	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->offload_fwd_mark	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->offload_l3_fwd_mark	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->ooo_okay	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->peeked	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->pfmemalloc	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->pkt_type	0-7
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->pp_recycle	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->priority	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->protocol	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->queue_mapping	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->redirected	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->remcsum_offload	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->reserved_tailroom	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->secmark	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->sender_cpu	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->skb_iif	s32min-s32max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->slow_gro	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->sw_hash	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->tail	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->tc_at_ingress	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->tc_depth	0-3
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->tc_index	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->tc_skip_classify	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->transport_header	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->truesize	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->tstamp_type	0-3
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->unreadable	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->vlan_all	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->vlan_proto	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->vlan_tci	0-u16max
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->wifi_acked	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.next->wifi_acked_valid	0-1
PARAM_VALUE	0	n->bc_entry.link->bc_sndlink->wakeupq.qlen	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->last_ga->start_index	0-254
PARAM_VALUE	0	n->bc_entry.link->last_ga->ugack_cnt	0-254
PARAM_VALUE	0	n->bc_entry.link->last_gap	0-u16max
PARAM_VALUE	0	n->bc_entry.link->nack_state	0-2
PARAM_VALUE	0	n->bc_entry.link->peer_caps	0-u16max
PARAM_VALUE	0	n->bc_entry.link->rcv_nxt	0-u16max
PARAM_VALUE	0	n->bc_entry.link->snd_nxt	0-u16max
PARAM_VALUE	0	n->bc_entry.link->state	2-4294967295
PARAM_VALUE	0	n->bc_entry.link->stats.recv_nacks	0-4294967295
PARAM_VALUE	0	n->bc_entry.link->stats.retransmitted	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->net	4096-ptr_max
PARAM_VALUE	0	n->net->gen	4096-ptr_max
PARAM_VALUE	0	n->net->ipv4.fib_main->tb_id	0-4294967295
PARAM_VALUE	0	n->preliminary	0
CAPPED_DATA	0	n->addr	1
CAPPED_DATA	0	n->net->gen	1
DATA_SOURCE	0	n	$0
NOSPEC	0	n->bc_entry.link->snd_nxt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	n->bc_entry.link->acked	0-u16max
USER_DATA	0	n->bc_entry.link->last_gap	0-u16max
USER_DATA	0	n->bc_entry.link->rcv_nxt	1-u16max[c]
USER_DATA	0	n->bc_entry.link->snd_nxt	1-u16max[c]
HALF_LOCKED2		rcu_read