Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/tipc/link.c tipc_link_build_nack_msg() -> tipc_link_build_proto_msg()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 0 l->bc_rcvlink 4096-ptr_max
PARAM_VALUE 0 l->deferdq.next 4096-ptr_max
PARAM_VALUE 0 l->silent_intv_cnt 0
PARAM_VALUE 1 mtyp 0
PARAM_VALUE 2 probe 0
PARAM_VALUE 3 probe_reply 0
PARAM_VALUE 5 tolerance 0
PARAM_VALUE 6 priority 0
PARAM_VALUE 7 xmitq 0,8069914181831122944
PARAM_VALUE 7 xmitq->next 4096-ptr_max
PARAM_VALUE 7 xmitq->prev 4096-ptr_max
CAPPED_DATA 0 l 1
CAPPED_DATA 0 l->bc_rcvlink 1
DATA_SOURCE 0 l $0
DATA_SOURCE 7 xmitq $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 l->failover_deferdq.next->csum 0-126976[c]
HOST_DATA 0 l->failover_deferdq.next->csum_offset 0-u16max
HOST_DATA 0 l->failover_deferdq.next->data_len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.next->len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.next->prev->csum 0-126976[c]
HOST_DATA 0 l->failover_deferdq.next->prev->csum_offset 0-u16max
HOST_DATA 0 l->failover_deferdq.next->prev->data_len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.next->prev->len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.prev->csum 0-65024[c]
HOST_DATA 0 l->failover_deferdq.prev->csum_offset 0-u16max
HOST_DATA 0 l->failover_deferdq.prev->data_len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.prev->len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.prev->next->csum 0-65024[c]
HOST_DATA 0 l->failover_deferdq.prev->next->csum_offset 0-u16max
HOST_DATA 0 l->failover_deferdq.prev->next->data_len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.prev->next->len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.prev->next->truesize 0-u32max
HOST_DATA 0 l->failover_deferdq.prev->next->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 l->failover_deferdq.prev->truesize 0-u32max
HOST_DATA 0 l->failover_deferdq.prev->users.refs.counter s32min-0,2-s32max
NO_OVERFLOW_SIMPLE 0 l->inputq->prev->end
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/link.c tipc_link_build_reset_msg() -> tipc_link_build_proto_msg()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 0 l->acked 0
PARAM_VALUE 0 l->bc_peer_is_up 0
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->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->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->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-u32max
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->wakeupq.qlen 0
PARAM_VALUE 1 mtyp 1-2
PARAM_VALUE 2 probe 0
PARAM_VALUE 3 probe_reply 0
PARAM_VALUE 4 rcvgap 0
PARAM_VALUE 5 tolerance 0
PARAM_VALUE 6 priority 0
PARAM_VALUE 7 xmitq 7521222884188319744,8069914181831122944
PARAM_VALUE 7 xmitq->next 4096-ptr_max
PARAM_VALUE 7 xmitq->prev 4096-ptr_max
CAPPED_DATA 0 l 1
DATA_SOURCE 0 l $0
DATA_SOURCE 7 xmitq $1
FUZZY_MAX 0 l->state 224
FUZZY_MAX 1 mtyp 2
HARD_MAX 1 mtyp 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

net/tipc/link.c tipc_link_build_state_msg() -> tipc_link_build_proto_msg()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 0 l->rcv_unacked 0
PARAM_VALUE 1 mtyp 0
PARAM_VALUE 2 probe 0
PARAM_VALUE 3 probe_reply 0
PARAM_VALUE 4 rcvgap 0
PARAM_VALUE 5 tolerance 0
PARAM_VALUE 6 priority 0
PARAM_VALUE 7 xmitq 0,3495923043141324800,8069914181831122944
PARAM_VALUE 7 xmitq->next 4096-ptr_max
PARAM_VALUE 7 xmitq->prev 4096-ptr_max
CAPPED_DATA 0 l 1
DATA_SOURCE 0 l $0
DATA_SOURCE 7 xmitq $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 l->failover_deferdq.next->csum 0-126976[c]
HOST_DATA 0 l->failover_deferdq.next->csum_offset 0-u16max
HOST_DATA 0 l->failover_deferdq.next->data_len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.next->len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.next->prev->csum 0-126976[c]
HOST_DATA 0 l->failover_deferdq.next->prev->csum_offset 0-u16max
HOST_DATA 0 l->failover_deferdq.next->prev->data_len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.next->prev->len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.prev->csum 0-65024[c]
HOST_DATA 0 l->failover_deferdq.prev->csum_offset 0-u16max
HOST_DATA 0 l->failover_deferdq.prev->data_len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.prev->len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.prev->next->csum 0-65024[c]
HOST_DATA 0 l->failover_deferdq.prev->next->csum_offset 0-u16max
HOST_DATA 0 l->failover_deferdq.prev->next->data_len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.prev->next->len 0-u32max[c]
HOST_DATA 0 l->failover_deferdq.prev->next->truesize 0-u32max
HOST_DATA 0 l->failover_deferdq.prev->next->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 l->failover_deferdq.prev->truesize 0-u32max
HOST_DATA 0 l->failover_deferdq.prev->users.refs.counter s32min-0,2-s32max
NO_OVERFLOW_SIMPLE 0 l->inputq->prev->end
LOCK2 bh
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/link.c tipc_link_proto_rcv() -> tipc_link_build_proto_msg()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 0 l->mon_state.probing 0
PARAM_VALUE 0 l->net 4096-ptr_max
PARAM_VALUE 0 l->net->gen 4096-ptr_max
PARAM_VALUE 0 l->silent_intv_cnt 0
PARAM_VALUE 0 l->state 2-u32max
PARAM_VALUE 1 mtyp 0
PARAM_VALUE 2 probe 0
PARAM_VALUE 5 tolerance 0
PARAM_VALUE 6 priority 0
PARAM_VALUE 7 xmitq 8069914181831122944
PARAM_VALUE 7 xmitq->next 4096-ptr_max
PARAM_VALUE 7 xmitq->prev 4096-ptr_max
CAPPED_DATA 0 l 1
CAPPED_DATA 0 l->net->gen 1
CAPPED_DATA 0 l->rcv_nxt_state 1
CAPPED_DATA 0 &l->deferdq 1
DATA_SOURCE 0 l $0
DATA_SOURCE 3 probe_reply r msg_probe
DATA_SOURCE 7 xmitq $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 l->bc_rcvlink->tolerance 0-u16max[c]
USER_DATA 0 l->mon_state.acked_gen 0-u16max[u]
USER_DATA 0 l->mon_state.peer_gen 0-u16max
USER_DATA 0 l->net_plane 0-255[c]
USER_DATA 0 l->priority 0-u16max[c]
USER_DATA 0 l->rcv_nxt_state 0-u16max[c]
USER_DATA 0 l->tolerance 0-u16max[c]
USER_DATA 3 probe_reply 0-1[c]
USER_DATA 4 rcvgap 0-u16max
NO_OVERFLOW_SIMPLE 0 l->inputq->prev->end
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/link.c tipc_link_set_prio() -> tipc_link_build_proto_msg()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 1 mtyp 0
PARAM_VALUE 2 probe 0
PARAM_VALUE 3 probe_reply 0
PARAM_VALUE 4 rcvgap 0
PARAM_VALUE 5 tolerance 0
PARAM_VALUE 7 xmitq 7791096881885134848
PARAM_VALUE 7 xmitq->next 7791096881885134848
PARAM_VALUE 7 xmitq->prev 7791096881885134848
PARAM_VALUE 7 xmitq->qlen 0
DATA_SOURCE 0 l $0
DATA_SOURCE 6 priority $1
DATA_SOURCE 7 xmitq $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &node->lock
LOCK2 bh
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct tipc_node)->lock

net/tipc/link.c tipc_link_set_tolerance() -> tipc_link_build_proto_msg()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 0 l->bc_rcvlink 0,4096-ptr_max
PARAM_VALUE 0 l->state 2-u32max
PARAM_VALUE 1 mtyp 0
PARAM_VALUE 2 probe 0
PARAM_VALUE 3 probe_reply 0
PARAM_VALUE 4 rcvgap 0
PARAM_VALUE 6 priority 0
PARAM_VALUE 7 xmitq 5958457238355435520,7791096881885134848
PARAM_VALUE 7 xmitq->next 5958457238355435520,7791096881885134848
PARAM_VALUE 7 xmitq->prev 5958457238355435520,7791096881885134848
DATA_SOURCE 0 l $0
DATA_SOURCE 5 tolerance $1
DATA_SOURCE 7 xmitq $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 7 xmitq unit_byte
LOCK2 bh
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &node->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct tipc_node)->lock

net/tipc/link.c tipc_link_timeout() -> tipc_link_build_proto_msg()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 0 l->abort_limit 0-4294967294
PARAM_VALUE 0 l->bc_rcvlink 4096-ptr_max
PARAM_VALUE 0 l->bc_sndlink 4096-ptr_max
PARAM_VALUE 0 l->state 14,224,256,201326592
PARAM_VALUE 1 mtyp 0-2
PARAM_VALUE 3 probe_reply 0
PARAM_VALUE 4 rcvgap 0
PARAM_VALUE 5 tolerance 0
PARAM_VALUE 6 priority 0
PARAM_VALUE 7 xmitq 4113170691668496384
PARAM_VALUE 7 xmitq->next 4113170691668496384
PARAM_VALUE 7 xmitq->prev 4113170691668496384
CAPPED_DATA 0 l->abort_limit 1
DATA_SOURCE 0 l $0
DATA_SOURCE 7 xmitq $1
FUZZY_MAX 1 mtyp 2
HARD_MAX 1 mtyp 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 7 xmitq unit_byte
LOCK2 &le->lock
LOCK2 &n->lock
LOCK2 bh
TYPE_LOCK (struct tipc_link_entry)->lock
TYPE_LOCK (struct tipc_node)->lock