Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/tipc/node.c tipc_node_create() -> tipc_node_assign_peer_net()

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->addr 1-u32max
PARAM_VALUE 0 n->bc_entry.link 4096-ptr_max
PARAM_VALUE 0 n->bc_entry.link->acked 0
PARAM_VALUE 0 n->bc_entry.link->ackers 0
PARAM_VALUE 0 n->bc_entry.link->bc_peer_is_up 0
PARAM_VALUE 0 n->bc_entry.link->bc_rcvlink->rcv_nxt 1
PARAM_VALUE 0 n->bc_entry.link->bc_rcvlink->rcv_nxt_state 1
PARAM_VALUE 0 n->bc_entry.link->bc_rcvlink->snd_nxt 1
PARAM_VALUE 0 n->bc_entry.link->bc_rcvlink->snd_nxt_state 1
PARAM_VALUE 0 n->bc_entry.link->bc_rcvlink->state 256
PARAM_VALUE 0 n->bc_entry.link->failover_reasm_skb 0
PARAM_VALUE 0 n->bc_entry.link->in_session 0
PARAM_VALUE 0 n->bc_entry.link->inputq->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 n->bc_entry.link->last_ga 0
PARAM_VALUE 0 n->bc_entry.link->last_gap 0
PARAM_VALUE 0 n->bc_entry.link->mon_state.acked_gen 0
PARAM_VALUE 0 n->bc_entry.link->mon_state.list_gen 0
PARAM_VALUE 0 n->bc_entry.link->mon_state.monitoring 0
PARAM_VALUE 0 n->bc_entry.link->mon_state.peer_gen 0
PARAM_VALUE 0 n->bc_entry.link->mon_state.probing 0
PARAM_VALUE 0 n->bc_entry.link->mon_state.reset 0
PARAM_VALUE 0 n->bc_entry.link->mon_state.synched 0
PARAM_VALUE 0 n->bc_entry.link->rcv_nxt 1
PARAM_VALUE 0 n->bc_entry.link->rcv_nxt_state 1
PARAM_VALUE 0 n->bc_entry.link->rcv_unacked 0
PARAM_VALUE 0 n->bc_entry.link->reasm_buf 0
PARAM_VALUE 0 n->bc_entry.link->reasm_tnlmsg 0
PARAM_VALUE 0 n->bc_entry.link->rst_cnt 0
PARAM_VALUE 0 n->bc_entry.link->silent_intv_cnt 0
PARAM_VALUE 0 n->bc_entry.link->snd_nxt 1
PARAM_VALUE 0 n->bc_entry.link->snd_nxt_state 1
PARAM_VALUE 0 n->bc_entry.link->state 14,256
PARAM_VALUE 0 n->bc_entry.link->stats.accu_queue_sz 0
PARAM_VALUE 0 n->bc_entry.link->stats.deferred_recv 0
PARAM_VALUE 0 n->bc_entry.link->stats.duplicates 0
PARAM_VALUE 0 n->bc_entry.link->stats.link_congs 0
PARAM_VALUE 0 n->bc_entry.link->stats.max_queue_sz 0
PARAM_VALUE 0 n->bc_entry.link->stats.queue_sz_counts 0
PARAM_VALUE 0 n->bc_entry.link->stats.recv_bundled 0
PARAM_VALUE 0 n->bc_entry.link->stats.recv_bundles 0
PARAM_VALUE 0 n->bc_entry.link->stats.recv_fragmented 0
PARAM_VALUE 0 n->bc_entry.link->stats.recv_fragments 0
PARAM_VALUE 0 n->bc_entry.link->stats.recv_nacks 0
PARAM_VALUE 0 n->bc_entry.link->stats.recv_pkts 0
PARAM_VALUE 0 n->bc_entry.link->stats.recv_probes 0
PARAM_VALUE 0 n->bc_entry.link->stats.recv_states 0
PARAM_VALUE 0 n->bc_entry.link->stats.retransmitted 0
PARAM_VALUE 0 n->bc_entry.link->stats.sent_acks 0
PARAM_VALUE 0 n->bc_entry.link->stats.sent_bundled 0
PARAM_VALUE 0 n->bc_entry.link->stats.sent_bundles 0
PARAM_VALUE 0 n->bc_entry.link->stats.sent_fragmented 0
PARAM_VALUE 0 n->bc_entry.link->stats.sent_fragments 0
PARAM_VALUE 0 n->bc_entry.link->stats.sent_nacks 0
PARAM_VALUE 0 n->bc_entry.link->stats.sent_pkts 0
PARAM_VALUE 0 n->bc_entry.link->stats.sent_probes 0
PARAM_VALUE 0 n->bc_entry.link->stats.sent_states 0
PARAM_VALUE 0 n->bc_entry.link->wakeupq.qlen 0
PARAM_VALUE 0 n->hash.pprev 4096-ptr_max
PARAM_VALUE 0 n->kref.refcount.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 n->list.next 4096-ptr_max
PARAM_VALUE 0 n->list.next->prev 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->preliminary 0
PARAM_VALUE 0 *n->bc_entry.link->failover_reasm_skb->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *n->bc_entry.link->name 0-255
PARAM_VALUE 0 *n->bc_entry.link->reasm_buf->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 *n->bc_entry.link->reasm_tnlmsg->sk->sk_callback_lock.owner (-4611686018427387904)-4611686018427387903
DATA_SOURCE 1 hash_mixes $4
NOSPEC 0 n->addr
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 n->addr 1-u32max[c]
USER_DATA 1 hash_mixes 0-u32max
LOCK2 &tn->node_list_lock
HALF_LOCKED2 bh
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct tipc_net)->node_list_lock

net/tipc/node.c tipc_node_create() -> tipc_node_assign_peer_net()

Type Parameter Key Value
PARAM_VALUE 0 n 4096-ptr_max
PARAM_VALUE 0 n->crypto_rx 4096-ptr_max
PARAM_VALUE 0 n->crypto_rx->flags 0
PARAM_VALUE 0 n->crypto_rx->key.keys 0
PARAM_VALUE 0 n->crypto_rx->key_distr.counter 0
PARAM_VALUE 0 n->crypto_rx->net s64min-(-4096),4096-s64max
PARAM_VALUE 0 n->crypto_rx->node s64min-(-4096),4096-s64max
PARAM_VALUE 0 n->crypto_rx->peer_rx_active.counter 0
PARAM_VALUE 0 n->crypto_rx->rekeying_intv 1440
PARAM_VALUE 0 n->crypto_rx->sndnxt.counter 0
PARAM_VALUE 0 n->net 4096-ptr_max
PARAM_VALUE 0 n->net->gen 4096-ptr_max
PARAM_VALUE 0 n->peer_hash_mix 0
PARAM_VALUE 0 n->peer_id_string 4096-ptr_max
PARAM_VALUE 0 n->peer_net 0
BUF_SIZE 0 n 1464
CAPPED_DATA 0 n->addr 1
DATA_SOURCE 0 n r _kzalloc_noprof
DATA_SOURCE 1 hash_mixes $4
NOSPEC 0 n->addr
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 n->addr 1-u32max[c]
USER_DATA 0 *n->peer_id_string 0-255
USER_DATA 1 hash_mixes 0-u32max
LOCK2 &tn->node_list_lock
LOCK2 bh
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct tipc_net)->node_list_lock