Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/tipc/node.c __tipc_node_link_up() -> tipc_link_build_state_msg()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
PARAM_VALUE 0 l->state 2-4294967295
PARAM_VALUE 1 xmitq 8069914181831122944
PARAM_VALUE 1 xmitq->next 4096-ptr_max
PARAM_VALUE 1 xmitq->prev 4096-ptr_max
DATA_SOURCE 1 xmitq $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &n->lock
LOCK2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct tipc_node)->lock

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

Type Parameter Key Value
PARAM_VALUE 1 xmitq 3495923043141324800
PARAM_VALUE 1 xmitq->next 3495923043141324800
PARAM_VALUE 1 xmitq->prev 3495923043141324800
PARAM_VALUE 1 xmitq->qlen 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &n->lock
LOCK2 bh
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct tipc_node)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 l 1-u64max
PARAM_VALUE 1 xmitq 8069914181831122944
PARAM_VALUE 1 xmitq->next 4096-ptr_max
PARAM_VALUE 1 xmitq->prev 4096-ptr_max
PARAM_VALUE 1 xmitq->prev->next->next 628115583747387392,7159695686379810816,8069914181831122944
DATA_SOURCE 1 xmitq $3
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_rcv() -> tipc_link_build_state_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->rcv_unacked 16-u32max
PARAM_VALUE 0 l->reasm_buf->csum 0-4294967295
PARAM_VALUE 0 l->reasm_buf->data_len 0-4294967295
PARAM_VALUE 0 l->reasm_buf->end 0-4294967295
PARAM_VALUE 0 l->reasm_buf->hash 0-4294967295
PARAM_VALUE 0 l->reasm_buf->headers.csum 0-4294967295
PARAM_VALUE 0 l->reasm_buf->headers.hash 0-4294967295
PARAM_VALUE 0 l->reasm_buf->headers.priority 0-4294967295
PARAM_VALUE 0 l->reasm_buf->headers.reserved_tailroom 0-4294967295
PARAM_VALUE 0 l->reasm_buf->headers.secmark 0-4294967295
PARAM_VALUE 0 l->reasm_buf->headers.sender_cpu 0-4294967295
PARAM_VALUE 0 l->reasm_buf->headers.vlan_all 0-4294967295
PARAM_VALUE 0 l->reasm_buf->len 0-4294967295
PARAM_VALUE 0 l->reasm_buf->mark 0-4294967295
PARAM_VALUE 0 l->reasm_buf->napi_id 0-4294967295
PARAM_VALUE 0 l->reasm_buf->priority 0-4294967295
PARAM_VALUE 0 l->reasm_buf->reserved_tailroom 0-4294967295
PARAM_VALUE 0 l->reasm_buf->secmark 0-4294967295
PARAM_VALUE 0 l->reasm_buf->sender_cpu 0-4294967295
PARAM_VALUE 0 l->reasm_buf->tail 0-4294967295
PARAM_VALUE 0 l->reasm_buf->truesize 0-4294967295
PARAM_VALUE 0 l->reasm_buf->vlan_all 0-4294967295
PARAM_VALUE 0 l->silent_intv_cnt 0
PARAM_VALUE 1 xmitq 0,8069914181831122944
PARAM_VALUE 1 xmitq->next 4096-ptr_max
PARAM_VALUE 1 xmitq->prev 4096-ptr_max
CAPPED_DATA 0 l 1
DATA_SOURCE 0 l $0
DATA_SOURCE 1 xmitq $2
FUZZY_MAX 0 l->rcv_unacked 16
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 l->failover_deferdq.next->csum 0-65024[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-65024[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.next->prev->truesize 0-u32max
HOST_DATA 0 l->failover_deferdq.next->prev->users.refs.counter s32min-0,2-s32max
HOST_DATA 0 l->failover_deferdq.next->truesize 0-u32max
HOST_DATA 0 l->failover_deferdq.next->users.refs.counter s32min-0,2-s32max
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
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read