Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/tipc/link.c tipc_link_bc_nack_rcv() -> tipc_link_bc_ack_rcv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r | 4096-ptr_max |
| PARAM_VALUE | 0 | r->bc_peer_is_up | 1 |
| PARAM_VALUE | 0 | r->net | 4096-ptr_max |
| PARAM_VALUE | 0 | r->net->gen | 4096-ptr_max |
| PARAM_VALUE | 0 | r->state | 2-u32max |
| PARAM_VALUE | 3 | ga | 0 |
| PARAM_VALUE | 4 | xmitq | 628115583747387392 |
| PARAM_VALUE | 4 | xmitq->next | 628115583747387392 |
| PARAM_VALUE | 4 | xmitq->prev | 628115583747387392 |
| PARAM_VALUE | 4 | xmitq->qlen | 0 |
| PARAM_VALUE | 5 | retrq | 628115583747387392 |
| PARAM_VALUE | 5 | retrq->next | 628115583747387392 |
| PARAM_VALUE | 5 | retrq->prev | 628115583747387392 |
| PARAM_VALUE | 5 | retrq->qlen | 0 |
| CAPPED_DATA | 0 | r->net->gen | 1 |
| CAPPED_DATA | 1 | acked | 1 |
| CAPPED_DATA | 2 | gap | 1 |
| DATA_SOURCE | 0 | r | $0 |
| DATA_SOURCE | 1 | acked | r msg_bcast_ack |
| DATA_SOURCE | 4 | xmitq | $2 |
| DATA_SOURCE | 5 | retrq | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | acked | 0-u16max[c] |
| USER_DATA | 2 | gap | 0-u16max |
| LOCK2 | bh | ||
| HALF_LOCKED2 | rcu_read |
net/tipc/link.c tipc_link_remove_bc_peer() -> tipc_link_bc_ack_rcv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r | 4096-ptr_max |
| PARAM_VALUE | 0 | r->bc_peer_is_up | 1 |
| PARAM_VALUE | 0 | r->failover_reasm_skb | 0-9223372036854775807 |
| PARAM_VALUE | 0 | r->reasm_tnlmsg | 0-9223372036854775807 |
| PARAM_VALUE | 0 | r->state | 14 |
| PARAM_VALUE | 2 | gap | 0 |
| PARAM_VALUE | 3 | ga | 0 |
| PARAM_VALUE | 4 | xmitq | 2930212279115780096 |
| PARAM_VALUE | 4 | xmitq->next | 2930212279115780096 |
| PARAM_VALUE | 4 | xmitq->prev | 2930212279115780096 |
| PARAM_VALUE | 4 | xmitq->qlen | 0 |
| PARAM_VALUE | 5 | retrq | 0 |
| DATA_SOURCE | 0 | r | $1 |
| DATA_SOURCE | 4 | xmitq | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | r->inputq->next->prev->tail | |
| LOCK2 | &n->lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | rcu_read | ||
| TYPE_LOCK | (struct tipc_node)->lock |
net/tipc/bcast.c tipc_bcast_ack_rcv() -> tipc_link_bc_ack_rcv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r | 4096-ptr_max |
| PARAM_VALUE | 2 | gap | 0 |
| PARAM_VALUE | 3 | ga | 0 |
| PARAM_VALUE | 4 | xmitq | 2234455385656967168 |
| PARAM_VALUE | 4 | xmitq->next | 2234455385656967168 |
| PARAM_VALUE | 4 | xmitq->prev | 2234455385656967168 |
| PARAM_VALUE | 4 | xmitq->qlen | 0 |
| PARAM_VALUE | 5 | retrq | 0 |
| CAPPED_DATA | 1 | acked | 1 |
| DATA_SOURCE | 0 | r | $1 |
| DATA_SOURCE | 1 | acked | r msg_bcast_ack |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | acked | 0-u16max[c] |
| LOCK2 | bh | ||
| HALF_LOCKED2 | rcu_read |
net/tipc/bcast.c tipc_bcast_sync_rcv() -> tipc_link_bc_ack_rcv()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | r | 4096-ptr_max |
| PARAM_VALUE | 0 | r->peer_caps | 0-u16max |
| PARAM_VALUE | 3 | ga | 0,4096-ptr_max |
| PARAM_VALUE | 3 | ga->len | 4-2044 |
| PARAM_VALUE | 4 | xmitq | 7159695686379810816 |
| PARAM_VALUE | 4 | xmitq->next | 7159695686379810816 |
| PARAM_VALUE | 4 | xmitq->prev | 7159695686379810816 |
| PARAM_VALUE | 4 | xmitq->qlen | 0 |
| PARAM_VALUE | 5 | retrq | 7159695686379810816,8069914181831122944 |
| PARAM_VALUE | 5 | retrq->next | 7159695686379810816,8069914181831122944 |
| PARAM_VALUE | 5 | retrq->prev | 7159695686379810816,8069914181831122944 |
| PARAM_VALUE | 5 | retrq->qlen | 0 |
| BUF_SIZE | 5 | retrq | (-1),96 |
| BUF_SIZE | 5 | retrq | (-1),96 |
| CAPPED_DATA | 1 | acked | 1 |
| CAPPED_DATA | 2 | gap | 1 |
| DATA_SOURCE | 0 | r | $1 |
| DATA_SOURCE | 5 | retrq | $3 [m] |
| PARAM_COMPARE | 4 | xmitq | == $5 |
| PARAM_COMPARE | 5 | retrq | == $4 |
| BIT_INFO | 5 | retrq | 0x635c180106802000,0x6ffe597b2ffef000 |
| BIT_INFO | 5 | retrq | 0x635c180106802000,0x6ffe597b2ffef000 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | acked | 0-u16max[c] |
| USER_DATA | 2 | gap | 0-u16max[c] |
| USER_DATA | 3 | ga->bgack_cnt | 0-255 |
| USER_DATA | 3 | ga->len | 4-2044 |
| USER_DATA | 3 | ga->start_index | 0-255 |
| USER_DATA | 3 | ga->ugack_cnt | 0-255 |
| LOCK2 | bh | ||
| HALF_LOCKED2 | rcu_read |