Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/tipc/link.c tipc_link_advance_backlog() -> tipc_link_set_skb_retransmit_time()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 1 | l | 4096-ptr_max |
| CAPPED_DATA | 1 | l | 1 |
| CAPPED_DATA | 1 | &l->backlogq | 1 |
| DATA_SOURCE | 0 | skb | r skb_peek |
| DATA_SOURCE | 1 | l | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | l->failover_deferdq.next->csum | 0-126976[c] |
| HOST_DATA | 1 | l->failover_deferdq.next->csum_offset | 0-u16max |
| HOST_DATA | 1 | l->failover_deferdq.next->data_len | 0-u32max[c] |
| HOST_DATA | 1 | l->failover_deferdq.next->len | 0-u32max[c] |
| HOST_DATA | 1 | l->failover_deferdq.next->prev->csum | 0-126976[c] |
| HOST_DATA | 1 | l->failover_deferdq.next->prev->csum_offset | 0-u16max |
| HOST_DATA | 1 | l->failover_deferdq.next->prev->data_len | 0-u32max[c] |
| HOST_DATA | 1 | l->failover_deferdq.next->prev->len | 0-u32max[c] |
| HOST_DATA | 1 | l->failover_deferdq.prev->csum | 0-65024[c] |
| HOST_DATA | 1 | l->failover_deferdq.prev->csum_offset | 0-u16max |
| HOST_DATA | 1 | l->failover_deferdq.prev->data_len | 0-u32max[c] |
| HOST_DATA | 1 | l->failover_deferdq.prev->len | 0-u32max[c] |
| HOST_DATA | 1 | l->failover_deferdq.prev->next->csum | 0-65024[c] |
| HOST_DATA | 1 | l->failover_deferdq.prev->next->csum_offset | 0-u16max |
| HOST_DATA | 1 | l->failover_deferdq.prev->next->data_len | 0-u32max[c] |
| HOST_DATA | 1 | l->failover_deferdq.prev->next->len | 0-u32max[c] |
| HOST_DATA | 1 | l->failover_deferdq.prev->next->truesize | 0-u32max |
| HOST_DATA | 1 | l->failover_deferdq.prev->next->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 1 | l->failover_deferdq.prev->truesize | 0-u32max |
| HOST_DATA | 1 | l->failover_deferdq.prev->users.refs.counter | s32min-0,2-s32max |
| USER_DATA | 1 | l->acked | 0-u16max |
| USER_DATA | 1 | l->bc_rcvlink->tolerance | 0-u16max[c] |
| USER_DATA | 1 | l->last_gap | 0-u16max |
| USER_DATA | 1 | l->mon_state.acked_gen | 0-u16max[u] |
| USER_DATA | 1 | l->mon_state.peer_gen | 0-u16max |
| USER_DATA | 1 | l->net_plane | 0-255[c] |
| USER_DATA | 1 | l->priority | 0-u16max[c] |
| USER_DATA | 1 | l->rcv_nxt_state | 0-u16max[c] |
| USER_DATA | 1 | l->tolerance | 0-u16max[c] |
| NO_OVERFLOW_SIMPLE | 1 | l->inputq->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | l->inputq->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | l->transmq.prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | l->transmq.prev->next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | l->transmq.prev->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | l->transmq.prev->next->truesize | |
| LOCK2 | bh | ||
| HALF_LOCKED2 | &n->lock | ||
| HALF_LOCKED2 | rcu_read |
net/tipc/link.c tipc_link_advance_transmq() -> tipc_link_set_skb_retransmit_time()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 1 | l | 4096-ptr_max |
| DATA_SOURCE | 1 | l | $0 |
| PARAM_COMPARE | 1 | &l->transmq | != $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | l->failover_deferdq.next->csum | 0-126976[c] |
| HOST_DATA | 1 | l->failover_deferdq.next->csum_offset | 0-u16max |
| HOST_DATA | 1 | l->failover_deferdq.next->data_len | 0-u32max[c] |
| HOST_DATA | 1 | l->failover_deferdq.next->len | 0-u32max[c] |
| HOST_DATA | 1 | l->failover_deferdq.next->prev->csum | 0-126976[c] |
| HOST_DATA | 1 | l->failover_deferdq.next->prev->csum_offset | 0-u16max |
| HOST_DATA | 1 | l->failover_deferdq.next->prev->data_len | 0-u32max[c] |
| HOST_DATA | 1 | l->failover_deferdq.next->prev->len | 0-u32max[c] |
| HOST_DATA | 1 | l->failover_deferdq.prev->csum | 0-65024[c] |
| HOST_DATA | 1 | l->failover_deferdq.prev->csum_offset | 0-u16max |
| HOST_DATA | 1 | l->failover_deferdq.prev->data_len | 0-u32max[c] |
| HOST_DATA | 1 | l->failover_deferdq.prev->len | 0-u32max[c] |
| HOST_DATA | 1 | l->failover_deferdq.prev->next->csum | 0-65024[c] |
| HOST_DATA | 1 | l->failover_deferdq.prev->next->csum_offset | 0-u16max |
| HOST_DATA | 1 | l->failover_deferdq.prev->next->data_len | 0-u32max[c] |
| HOST_DATA | 1 | l->failover_deferdq.prev->next->len | 0-u32max[c] |
| HOST_DATA | 1 | l->failover_deferdq.prev->next->truesize | 0-u32max |
| HOST_DATA | 1 | l->failover_deferdq.prev->next->users.refs.counter | s32min-0,2-s32max |
| HOST_DATA | 1 | l->failover_deferdq.prev->truesize | 0-u32max |
| HOST_DATA | 1 | l->failover_deferdq.prev->users.refs.counter | s32min-0,2-s32max |
| USER_DATA | 1 | l->bc_rcvlink->tolerance | 0-u16max[c] |
| USER_DATA | 1 | l->mon_state.acked_gen | 0-u16max[u] |
| USER_DATA | 1 | l->mon_state.peer_gen | 0-u16max |
| USER_DATA | 1 | l->net_plane | 0-255[c] |
| USER_DATA | 1 | l->priority | 0-u16max[c] |
| USER_DATA | 1 | l->rcv_nxt_state | 0-u16max[c] |
| USER_DATA | 1 | l->tolerance | 0-u16max[c] |
| NO_OVERFLOW_SIMPLE | 1 | l->inputq->prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | l->inputq->prev->len | |
| NO_OVERFLOW_SIMPLE | 1 | l->transmq.prev->end | |
| NO_OVERFLOW_SIMPLE | 1 | l->transmq.prev->next->data_len | |
| NO_OVERFLOW_SIMPLE | 1 | l->transmq.prev->next->end | |
| NO_OVERFLOW_SIMPLE | 1 | l->transmq.prev->next->truesize | |
| UNITS | 0 | skb | unit_byte |
| LOCK2 | bh | ||
| HALF_LOCKED2 | &n->lock | ||
| HALF_LOCKED2 | rcu_read |
net/tipc/link.c tipc_link_xmit() -> tipc_link_set_skb_retransmit_time()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | skb | 4096-ptr_max |
| PARAM_VALUE | 1 | l | 4096-ptr_max |
| DATA_SOURCE | 0 | skb | r __skb_dequeue |
| DATA_SOURCE | 1 | l | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &le->lock | ||
| HALF_LOCKED2 | &n->lock |