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_bc_ack_rcv() -> tipc_link_advance_transmq()

Type Parameter Key Value
PARAM_VALUE 1 r 4096-ptr_max
PARAM_VALUE 1 r->bc_peer_is_up 1
PARAM_VALUE 1 r->state 2-u32max
PARAM_VALUE 4 ga 0,4096-ptr_max
PARAM_VALUE 4 ga->len 4-2044
PARAM_VALUE 5 xmitq 0,628115583747387392,7159695686379810816,8069914181831122944
PARAM_VALUE 5 xmitq->next 628115583747387392,7159695686379810816,8069914181831122944
PARAM_VALUE 5 xmitq->prev 628115583747387392,7159695686379810816,8069914181831122944
PARAM_VALUE 5 xmitq->qlen 0
PARAM_VALUE 6 retransmitted 3875946406658031616
PARAM_VALUE 6 *retransmitted 0
PARAM_VALUE 7 rc 8061078606323163136
PARAM_VALUE 7 *rc 0
BUF_SIZE 5 xmitq (-1),96
BUF_SIZE 5 xmitq (-1),96
CAPPED_DATA 3 gap 1
DATA_SOURCE 1 r $0
DATA_SOURCE 2 acked $1
DATA_SOURCE 3 gap $2
DATA_SOURCE 4 ga $3
DATA_SOURCE 5 xmitq $5
BIT_INFO 5 xmitq 0x0,0x6fffffffffffffff
BIT_INFO 5 xmitq 0x0,0x6fffffffffffffff
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 acked 0-u16max[c]
USER_DATA 3 gap 0-u16max[c]
USER_DATA 4 ga->bgack_cnt 0-255
USER_DATA 4 ga->len 4-2044
USER_DATA 4 ga->start_index 0-255
USER_DATA 4 ga->ugack_cnt 0-255
NO_OVERFLOW_SIMPLE 1 r->inputq->next->prev->end
NO_OVERFLOW_SIMPLE 1 r->inputq->next->prev->tail
LOCK2 bh
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

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

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 r 4096-ptr_max
PARAM_VALUE 1 r->mon_state.probing 0
PARAM_VALUE 1 r->net 4096-ptr_max
PARAM_VALUE 1 r->net->gen 4096-ptr_max
PARAM_VALUE 1 r->silent_intv_cnt 0
PARAM_VALUE 1 r->state 2-u32max
PARAM_VALUE 4 ga 0,4096-ptr_max
PARAM_VALUE 4 ga->len 4-2044
PARAM_VALUE 5 xmitq 8069914181831122944
PARAM_VALUE 5 xmitq->next 4096-ptr_max
PARAM_VALUE 5 xmitq->prev 4096-ptr_max
PARAM_VALUE 6 retransmitted 2124039611300319232
PARAM_VALUE 6 *retransmitted 0
PARAM_VALUE 7 rc 2239311723709259776
PARAM_VALUE 7 *rc 0,2
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
CAPPED_DATA 1 r 1
CAPPED_DATA 1 r->net->gen 1
CAPPED_DATA 1 r->rcv_nxt_state 1
CAPPED_DATA 1 &r->deferdq 1
CAPPED_DATA 2 acked 1
CAPPED_DATA 3 gap 1
DATA_SOURCE 0 l $0
DATA_SOURCE 1 r $0
DATA_SOURCE 2 acked r msg_ack
DATA_SOURCE 3 gap r msg_seq_gap
DATA_SOURCE 5 xmitq $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
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 1 r->bc_rcvlink->tolerance 0-u16max[c]
USER_DATA 1 r->mon_state.acked_gen 0-u16max[u]
USER_DATA 1 r->mon_state.peer_gen 0-u16max
USER_DATA 1 r->net_plane 0-255[c]
USER_DATA 1 r->priority 0-u16max[c]
USER_DATA 1 r->rcv_nxt_state 0-u16max[c]
USER_DATA 1 r->tolerance 0-u16max[c]
USER_DATA 2 acked 0-u16max[c]
USER_DATA 3 gap 0-u16max[c]
USER_DATA 4 ga->bgack_cnt 0-255
USER_DATA 4 ga->len 4-2044
USER_DATA 4 ga->start_index 0-255
USER_DATA 4 ga->ugack_cnt 0-255
NO_OVERFLOW_SIMPLE 0 l->inputq->prev->end
NO_OVERFLOW_SIMPLE 1 r->inputq->prev->end
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read

net/tipc/link.c tipc_link_rcv() -> tipc_link_advance_transmq()

Type Parameter Key Value
PARAM_VALUE 0 l 4096-ptr_max
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 0 l->state 2-u32max
PARAM_VALUE 1 r 4096-ptr_max
PARAM_VALUE 1 r->reasm_buf->csum 0-4294967295
PARAM_VALUE 1 r->reasm_buf->data_len 0-4294967295
PARAM_VALUE 1 r->reasm_buf->end 0-4294967295
PARAM_VALUE 1 r->reasm_buf->hash 0-4294967295
PARAM_VALUE 1 r->reasm_buf->headers.csum 0-4294967295
PARAM_VALUE 1 r->reasm_buf->headers.hash 0-4294967295
PARAM_VALUE 1 r->reasm_buf->headers.priority 0-4294967295
PARAM_VALUE 1 r->reasm_buf->headers.reserved_tailroom 0-4294967295
PARAM_VALUE 1 r->reasm_buf->headers.secmark 0-4294967295
PARAM_VALUE 1 r->reasm_buf->headers.sender_cpu 0-4294967295
PARAM_VALUE 1 r->reasm_buf->headers.vlan_all 0-4294967295
PARAM_VALUE 1 r->reasm_buf->len 0-4294967295
PARAM_VALUE 1 r->reasm_buf->mark 0-4294967295
PARAM_VALUE 1 r->reasm_buf->napi_id 0-4294967295
PARAM_VALUE 1 r->reasm_buf->priority 0-4294967295
PARAM_VALUE 1 r->reasm_buf->reserved_tailroom 0-4294967295
PARAM_VALUE 1 r->reasm_buf->secmark 0-4294967295
PARAM_VALUE 1 r->reasm_buf->sender_cpu 0-4294967295
PARAM_VALUE 1 r->reasm_buf->tail 0-4294967295
PARAM_VALUE 1 r->reasm_buf->truesize 0-4294967295
PARAM_VALUE 1 r->reasm_buf->vlan_all 0-4294967295
PARAM_VALUE 1 r->silent_intv_cnt 0
PARAM_VALUE 1 r->state 2-u32max
PARAM_VALUE 3 gap 0
PARAM_VALUE 4 ga 0
PARAM_VALUE 5 xmitq 0
PARAM_VALUE 6 retransmitted 0
PARAM_VALUE 7 rc 0
CAPPED_DATA 0 l 1
CAPPED_DATA 1 r 1
CAPPED_DATA 2 acked 1
DATA_SOURCE 0 l $0
DATA_SOURCE 1 r $0
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
HOST_DATA 1 r->failover_deferdq.next->csum 0-65024[c]
HOST_DATA 1 r->failover_deferdq.next->csum_offset 0-u16max
HOST_DATA 1 r->failover_deferdq.next->data_len 0-u32max[c]
HOST_DATA 1 r->failover_deferdq.next->len 0-u32max[c]
HOST_DATA 1 r->failover_deferdq.next->prev->csum 0-65024[c]
HOST_DATA 1 r->failover_deferdq.next->prev->csum_offset 0-u16max
HOST_DATA 1 r->failover_deferdq.next->prev->data_len 0-u32max[c]
HOST_DATA 1 r->failover_deferdq.next->prev->len 0-u32max[c]
HOST_DATA 1 r->failover_deferdq.next->prev->truesize 0-u32max
HOST_DATA 1 r->failover_deferdq.next->prev->users.refs.counter s32min-0,2-s32max
HOST_DATA 1 r->failover_deferdq.next->truesize 0-u32max
HOST_DATA 1 r->failover_deferdq.next->users.refs.counter s32min-0,2-s32max
HOST_DATA 1 r->failover_deferdq.prev->csum 0-65024[c]
HOST_DATA 1 r->failover_deferdq.prev->csum_offset 0-u16max
HOST_DATA 1 r->failover_deferdq.prev->data_len 0-u32max[c]
HOST_DATA 1 r->failover_deferdq.prev->len 0-u32max[c]
HOST_DATA 1 r->failover_deferdq.prev->next->csum 0-65024[c]
HOST_DATA 1 r->failover_deferdq.prev->next->csum_offset 0-u16max
HOST_DATA 1 r->failover_deferdq.prev->next->data_len 0-u32max[c]
HOST_DATA 1 r->failover_deferdq.prev->next->len 0-u32max[c]
HOST_DATA 1 r->failover_deferdq.prev->next->truesize 0-u32max
HOST_DATA 1 r->failover_deferdq.prev->next->users.refs.counter s32min-0,2-s32max
HOST_DATA 1 r->failover_deferdq.prev->truesize 0-u32max
HOST_DATA 1 r->failover_deferdq.prev->users.refs.counter s32min-0,2-s32max
USER_DATA 2 acked 0-u16max[c]
LOCK2 bh
HALF_LOCKED2 &le->lock
HALF_LOCKED2 &n->lock
HALF_LOCKED2 rcu_read