Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/sched/sch_sfb.c sfb_change() -> sfb_init_perturbation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | slot | 0 |
| PARAM_VALUE | 1 | q | 4096-ptr_max |
| PARAM_VALUE | 1 | q->double_buffering | 0 |
| PARAM_VALUE | 1 | q->qdisc | 4096-ptr_max |
| PARAM_VALUE | 1 | q->qdisc->dev_queue | 4096-ptr_max |
| PARAM_VALUE | 1 | q->qdisc->dev_tracker | 0,4096-ptr_max |
| PARAM_VALUE | 1 | q->qdisc->gso_skb.next | 4096-ptr_max |
| PARAM_VALUE | 1 | q->qdisc->gso_skb.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | q->qdisc->gso_skb.qlen | 0 |
| PARAM_VALUE | 1 | q->qdisc->ops | 844278770859737088 |
| PARAM_VALUE | 1 | q->qdisc->privdata.c_head_ts | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.c_protection_credit | s32min-s32max |
| PARAM_VALUE | 1 | q->qdisc->privdata.credits | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.cur_depth | 0-255 |
| PARAM_VALUE | 1 | q->qdisc->privdata.cur_flow | 1024 |
| PARAM_VALUE | 1 | q->qdisc->privdata.cur_tin | 0-7 |
| PARAM_VALUE | 1 | q->qdisc->privdata.curband | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.direct_queue.head | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.direct_queue.qlen | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.direct_queue.tail | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.double_buffering | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.ecn_mark | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.flows | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.head | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.hh_flows_current_cnt | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.hhf_arrays_reset_timestamp | 0-4294967295 |
| PARAM_VALUE | 1 | q->qdisc->privdata.highest_prio | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.inactive_flows | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.internal.head | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.internal.qlen | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.l_head_ts | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.last | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.lowest_prio | 63 |
| PARAM_VALUE | 1 | q->qdisc->privdata.max_memory_used | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.maxq | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.memory_usage | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.memory_used | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.packets_in_c | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.packets_in_l | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.pi2_prob | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.q.next->prev | 2011684551238094848 |
| PARAM_VALUE | 1 | q->qdisc->privdata.q.prev->next | 2011684551238094848 |
| PARAM_VALUE | 1 | q->qdisc->privdata.q.qlen | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.slot | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.step_marks | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.t_head | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.t_len | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.t_tail | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.tail | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.throttled_flows | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.accu_prob | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.avg_dq_rate | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.burst_time | 2343750 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.count | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.dq_count | (-1) |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.dq_tstamp | (-1) |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.drop_next | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.dropping | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.lastcount | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.ldelay | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.qavg | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.qcount | (-1) |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.qidlestart | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.rec_inv_sqrt | 0 |
| PARAM_VALUE | 1 | q->qdisc->refcnt.refs.counter | 1 |
| PARAM_VALUE | 1 | q->qdisc->skb_bad_txq.next | 4096-ptr_max |
| PARAM_VALUE | 1 | q->qdisc->skb_bad_txq.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | q->qdisc->skb_bad_txq.qlen | 0 |
| PARAM_VALUE | 1 | q->rehash_interval | 0-536870912,4611686018427387902 |
| PARAM_VALUE | 1 | q->slot | 0 |
| PARAM_VALUE | 1 | q->warmup_time | 0-536870912,4611686018427387902 |
| PARAM_VALUE | 1 | *q->qdisc->privdata->backlogs | 0-4294967295 |
| PARAM_VALUE | 1 | *q->qdisc->privdata->row_mask | s32min-s32max |
| BUF_SIZE | 1 | q->qdisc | 0-s32max |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | q->bin_size | 0-u32max |
| USER_DATA | 1 | q->decrement | 0-u32max |
| USER_DATA | 1 | q->increment | 0-u32max |
| USER_DATA | 1 | q->limit | 1-u32max |
| USER_DATA | 1 | q->max | 0-u32max |
| USER_DATA | 1 | q->penalty_burst | 0-u32max |
| USER_DATA | 1 | q->penalty_rate | 0-u32max |
| USER_DATA | 1 | q->qdisc->parent | 0-u32max[c] |
| USER_DATA | 1 | q->tokens_avail | 0-u32max |
| LOCK2 | bh |
net/sched/sch_sfb.c sfb_change() -> sfb_init_perturbation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | slot | 1 |
| PARAM_VALUE | 1 | q | 4096-ptr_max |
| PARAM_VALUE | 1 | q->double_buffering | 0 |
| PARAM_VALUE | 1 | q->qdisc | 4096-ptr_max |
| PARAM_VALUE | 1 | q->qdisc->dev_queue | 4096-ptr_max |
| PARAM_VALUE | 1 | q->qdisc->dev_tracker | 0,4096-ptr_max |
| PARAM_VALUE | 1 | q->qdisc->gso_skb.next | 4096-ptr_max |
| PARAM_VALUE | 1 | q->qdisc->gso_skb.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | q->qdisc->gso_skb.qlen | 0 |
| PARAM_VALUE | 1 | q->qdisc->ops | 844278770859737088 |
| PARAM_VALUE | 1 | q->qdisc->privdata.c_head_ts | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.c_protection_credit | s32min-s32max |
| PARAM_VALUE | 1 | q->qdisc->privdata.credits | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.cur_depth | 0-255 |
| PARAM_VALUE | 1 | q->qdisc->privdata.cur_flow | 1024 |
| PARAM_VALUE | 1 | q->qdisc->privdata.cur_tin | 0-7 |
| PARAM_VALUE | 1 | q->qdisc->privdata.curband | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.direct_queue.head | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.direct_queue.qlen | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.direct_queue.tail | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.double_buffering | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.ecn_mark | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.flows | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.head | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.hh_flows_current_cnt | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.hhf_arrays_reset_timestamp | 0-4294967295 |
| PARAM_VALUE | 1 | q->qdisc->privdata.highest_prio | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.inactive_flows | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.internal.head | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.internal.qlen | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.l_head_ts | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.last | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.lowest_prio | 63 |
| PARAM_VALUE | 1 | q->qdisc->privdata.max_memory_used | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.maxq | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.memory_usage | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.memory_used | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.packets_in_c | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.packets_in_l | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.pi2_prob | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.q.next->prev | 2011684551238094848 |
| PARAM_VALUE | 1 | q->qdisc->privdata.q.prev->next | 2011684551238094848 |
| PARAM_VALUE | 1 | q->qdisc->privdata.q.qlen | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.slot | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.step_marks | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.t_head | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.t_len | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.t_tail | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.tail | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.throttled_flows | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.accu_prob | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.avg_dq_rate | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.burst_time | 2343750 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.count | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.dq_count | (-1) |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.dq_tstamp | (-1) |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.drop_next | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.dropping | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.lastcount | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.ldelay | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.qavg | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.qcount | (-1) |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.qidlestart | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.rec_inv_sqrt | 0 |
| PARAM_VALUE | 1 | q->qdisc->refcnt.refs.counter | 1 |
| PARAM_VALUE | 1 | q->qdisc->skb_bad_txq.next | 4096-ptr_max |
| PARAM_VALUE | 1 | q->qdisc->skb_bad_txq.prev | 4096-ptr_max |
| PARAM_VALUE | 1 | q->qdisc->skb_bad_txq.qlen | 0 |
| PARAM_VALUE | 1 | q->rehash_interval | 0-536870912,4611686018427387902 |
| PARAM_VALUE | 1 | q->slot | 0 |
| PARAM_VALUE | 1 | q->warmup_time | 0-536870912,4611686018427387902 |
| PARAM_VALUE | 1 | *q->qdisc->privdata->backlogs | 0-4294967295 |
| PARAM_VALUE | 1 | *q->qdisc->privdata->row_mask | s32min-s32max |
| BUF_SIZE | 1 | q->qdisc | 0-s32max |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | q->bin_size | 0-u32max |
| USER_DATA | 1 | q->decrement | 0-u32max |
| USER_DATA | 1 | q->increment | 0-u32max |
| USER_DATA | 1 | q->limit | 1-u32max |
| USER_DATA | 1 | q->max | 0-u32max |
| USER_DATA | 1 | q->penalty_burst | 0-u32max |
| USER_DATA | 1 | q->penalty_rate | 0-u32max |
| USER_DATA | 1 | q->qdisc->parent | 0-u32max[c] |
| USER_DATA | 1 | q->tokens_avail | 0-u32max |
| LOCK2 | bh |
net/sched/sch_sfb.c sfb_reset() -> sfb_init_perturbation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | slot | 0 |
| PARAM_VALUE | 1 | q | 4096-ptr_max |
| PARAM_VALUE | 1 | q->double_buffering | 0 |
| PARAM_VALUE | 1 | q->qdisc | 0,4096-ptr_max |
| PARAM_VALUE | 1 | q->qdisc->ops | 4096-ptr_max |
| PARAM_VALUE | 1 | q->qdisc->privdata.c_head_ts | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.c_protection_credit | s32min-s32max |
| PARAM_VALUE | 1 | q->qdisc->privdata.credits | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.cur_depth | 0-255 |
| PARAM_VALUE | 1 | q->qdisc->privdata.cur_flow | 1024 |
| PARAM_VALUE | 1 | q->qdisc->privdata.cur_tin | 0-7 |
| PARAM_VALUE | 1 | q->qdisc->privdata.curband | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.direct_queue.head | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.direct_queue.qlen | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.direct_queue.tail | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.double_buffering | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.ecn_mark | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.flows | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.head | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.hh_flows_current_cnt | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.hhf_arrays_reset_timestamp | 0-4294967295 |
| PARAM_VALUE | 1 | q->qdisc->privdata.highest_prio | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.inactive_flows | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.internal.head | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.internal.qlen | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.l_head_ts | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.last | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.lowest_prio | 63 |
| PARAM_VALUE | 1 | q->qdisc->privdata.max_memory_used | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.maxq | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.memory_usage | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.memory_used | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.packets_in_c | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.packets_in_l | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.pi2_prob | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.q.next->prev | 2011684551238094848 |
| PARAM_VALUE | 1 | q->qdisc->privdata.q.prev->next | 2011684551238094848 |
| PARAM_VALUE | 1 | q->qdisc->privdata.q.qlen | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.slot | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.step_marks | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.t_head | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.t_len | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.t_tail | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.tail | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.throttled_flows | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.accu_prob | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.avg_dq_rate | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.burst_time | 2343750 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.count | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.dq_count | (-1) |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.dq_tstamp | (-1) |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.drop_next | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.dropping | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.lastcount | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.ldelay | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.qavg | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.qcount | (-1) |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.qidlestart | 0 |
| PARAM_VALUE | 1 | q->qdisc->privdata.vars.rec_inv_sqrt | 0 |
| PARAM_VALUE | 1 | q->qdisc->q.head | 0 |
| PARAM_VALUE | 1 | q->qdisc->q.qlen | 0 |
| PARAM_VALUE | 1 | q->qdisc->q.tail | 0 |
| PARAM_VALUE | 1 | q->qdisc->qstats.backlog | 0 |
| PARAM_VALUE | 1 | q->slot | 0 |
| CAPPED_DATA | 1 | q->qdisc | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &priv->state_lock | ||
| HALF_LOCKED2 | &sch->seqlock | ||
| HALF_LOCKED2 | bh |
net/sched/sch_sfb.c sfb_swap_slot() -> sfb_init_perturbation()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | q | 4096-ptr_max |
| PARAM_VALUE | 1 | q->limit | 1-u32max |
| PARAM_VALUE | 1 | q->rehash_interval | 1-u64max |
| DATA_SOURCE | 1 | q | $0 |
| FUZZY_MAX | 1 | q->rehash_interval | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |