Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/core/dev.c __dev_xmit_skb() -> qdisc_run_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qdisc | 4096-ptr_max |
| PARAM_VALUE | 0 | qdisc->dev_queue->qdisc_sleeping->to_free | 4096-ptr_max |
| PARAM_VALUE | 0 | qdisc->gso_skb.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | qdisc->gso_skb.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | qdisc->next_sched | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.active_queues | 1-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.band_nr | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.buffer_used | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.c_protection_credit | s32min-s32max |
| PARAM_VALUE | 0 | qdisc->privdata.credits | s32min-s64max |
| PARAM_VALUE | 0 | qdisc->privdata.cstats.drop_count | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.cstats.drop_len | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.cstats.maxpacket | 1-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.cur_flow | 0-u16max |
| PARAM_VALUE | 0 | qdisc->privdata.cur_tin | 0-u16max |
| PARAM_VALUE | 0 | qdisc->privdata.curband | 0-u16max |
| PARAM_VALUE | 0 | qdisc->privdata.deferred_drops_cnt | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.deferred_drops_len | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.ecn_mark | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.head.rb_leftmost->rb_left | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.l_queue->q.qlen | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.l_queue->qstats.backlog | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.l_queue->qstats.drops | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.m->slaves_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | qdisc->privdata.memory_used | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.overflow_timeout | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.overlimits | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.pkts_to_release | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.active_queues | 1-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.band_nr | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.cur_depth | 0-255 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.cur_flow | 0-u16max |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.cur_tin | 0-u16max |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.curband | 0-u16max |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.deferred_drops_len | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.direct_queue.qlen | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.ecn_mark | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.highest_prio | 0-u16max |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.inactive_flows | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.internal.qlen | s32min-s32max |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.l_queue->qstats.drops | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.lowest_prio | 63 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.m->slaves_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.memory_usage | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.overlimits | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.pkts_to_release | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.q.qlen | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.rate_shft | 0-u16max |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.root.cl_f | 0-288230376151711743 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.root.level | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.t_tail | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.tail->allot | s32min-0 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.throttled | 1 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.throttled_flows | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.tin_cnt | 1,3-4,8 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.tin_index | 450804169053790208,1731505382743973888,2765471663650865152,3809747612656336896,8308205581223485440 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.tin_order | 5040099323216117760,5800058287865032704 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.vars.avg_dq_rate | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.vars.burst_time | 0-9223372036854775806 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.vars.count | 1-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.vars.dq_tstamp | 0-288230376151711743 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.warned | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.watchdog.timer.base->index | 0-7 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.watchdog.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.watchdog.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.watchdog.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.watchdog.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.watchdog.timer.node.expires | 0-s64max |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.watchdog.timer.node.node.node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | qdisc->privdata.rate_shft | 0-u16max |
| PARAM_VALUE | 0 | qdisc->privdata.root.level | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.stats.drop_count | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.stats.drop_len | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.stats.maxpacket | 1-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.t_tail | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.throttled | 1 |
| PARAM_VALUE | 0 | qdisc->privdata.throttled_flows | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.tin_cnt | 1,3-4,8 |
| PARAM_VALUE | 0 | qdisc->privdata.tin_index | 450804169053790208,1731505382743973888,2765471663650865152,3809747612656336896,8308205581223485440 |
| PARAM_VALUE | 0 | qdisc->privdata.tin_order | 5040099323216117760,5800058287865032704 |
| PARAM_VALUE | 0 | qdisc->privdata.vars.count | 1-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.vars.dropping | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.vars.first_above_time | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.vars.lastcount | 1-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.warned | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.watchdog.timer.base->index | 0-7 |
| PARAM_VALUE | 0 | qdisc->privdata.watchdog.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | qdisc->privdata.watchdog.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | qdisc->privdata.watchdog.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | qdisc->privdata.watchdog.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | qdisc->privdata.watchdog.timer.node.expires | 0-s64max |
| PARAM_VALUE | 0 | qdisc->privdata.watchdog.timer.node.node.node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | qdisc->q.head->next | 0 |
| PARAM_VALUE | 0 | qdisc->skb_bad_txq.prev->next->next | 4096-ptr_max |
| DATA_SOURCE | 0 | qdisc | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &eql->queue.lock | ||
| HALF_LOCKED2 | &lapb->lock | ||
| HALF_LOCKED2 | &mgmt_eth_data->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &priv->state_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | k->lock | ||
| HALF_LOCKED2 | 0 | &qdisc->seqlock |
net/core/dev.c __dev_xmit_skb() -> qdisc_run_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qdisc | 4096-ptr_max |
| DATA_SOURCE | 0 | qdisc | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | &eql->queue.lock | ||
| HALF_LOCKED2 | &lapb->lock | ||
| HALF_LOCKED2 | &mgmt_eth_data->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &priv->state_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | k->lock | ||
| HALF_LOCKED2 | 0 | &qdisc->seqlock |
net/core/dev.c __dev_xmit_skb() -> qdisc_run_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qdisc | 4096-ptr_max |
| PARAM_VALUE | 0 | qdisc->gso_skb.next | 4096-ptr_max |
| PARAM_VALUE | 0 | qdisc->gso_skb.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | qdisc->gso_skb.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | qdisc->next_sched | 0 |
| DATA_SOURCE | 0 | qdisc | $1 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| LOCK2 | root_lock | ||
| HALF_LOCKED2 | &eql->queue.lock | ||
| HALF_LOCKED2 | &lapb->lock | ||
| HALF_LOCKED2 | &mgmt_eth_data->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &priv->state_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | k->lock | ||
| HALF_LOCKED2 | 0 | &qdisc->seqlock |
net/core/dev.c qdisc_run() -> qdisc_run_end()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | qdisc | 4096-ptr_max |
| PARAM_VALUE | 0 | qdisc->dev_queue->qdisc_sleeping->to_free | 4096-ptr_max |
| PARAM_VALUE | 0 | qdisc->gso_skb.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | qdisc->gso_skb.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | qdisc->next_sched | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.active_queues | 1-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.band_nr | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.buffer_used | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.c_protection_credit | s32min-s32max |
| PARAM_VALUE | 0 | qdisc->privdata.credits | s32min-s64max |
| PARAM_VALUE | 0 | qdisc->privdata.cstats.drop_count | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.cstats.drop_len | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.cstats.maxpacket | 1-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.cur_flow | 0-u16max |
| PARAM_VALUE | 0 | qdisc->privdata.cur_tin | 0-u16max |
| PARAM_VALUE | 0 | qdisc->privdata.curband | 0-u16max |
| PARAM_VALUE | 0 | qdisc->privdata.deferred_drops_cnt | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.deferred_drops_len | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.ecn_mark | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.head.rb_leftmost->rb_left | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.l_queue->q.qlen | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.l_queue->qstats.backlog | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.l_queue->qstats.drops | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.m->slaves_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | qdisc->privdata.memory_used | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.overflow_timeout | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.overlimits | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.pkts_to_release | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.active_queues | 1-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.band_nr | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.cur_depth | 0-255 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.cur_flow | 0-u16max |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.cur_tin | 0-u16max |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.curband | 0-u16max |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.deferred_drops_len | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.direct_queue.qlen | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.ecn_mark | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.highest_prio | 0-u16max |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.inactive_flows | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.internal.qlen | s32min-s32max |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.l_queue->qstats.drops | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.lowest_prio | 63 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.m->slaves_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.memory_usage | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.overlimits | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.pkts_to_release | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.q.qlen | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.rate_shft | 0-u16max |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.root.cl_f | 0-288230376151711743 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.root.level | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.t_tail | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.tail->allot | s32min-0 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.throttled | 1 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.throttled_flows | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.tin_cnt | 1,3-4,8 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.tin_index | 450804169053790208,1731505382743973888,2765471663650865152,3809747612656336896,8308205581223485440 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.tin_order | 5040099323216117760,5800058287865032704 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.vars.avg_dq_rate | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.vars.burst_time | 0-9223372036854775806 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.vars.count | 1-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.vars.dq_tstamp | 0-288230376151711743 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.warned | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.watchdog.timer.base->index | 0-7 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.watchdog.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.watchdog.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.watchdog.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.watchdog.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.watchdog.timer.node.expires | 0-s64max |
| PARAM_VALUE | 0 | qdisc->privdata.qdisc->privdata.watchdog.timer.node.node.node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | qdisc->privdata.rate_shft | 0-u16max |
| PARAM_VALUE | 0 | qdisc->privdata.root.level | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.stats.drop_count | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.stats.drop_len | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.stats.maxpacket | 1-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.t_tail | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.throttled | 1 |
| PARAM_VALUE | 0 | qdisc->privdata.throttled_flows | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.tin_cnt | 1,3-4,8 |
| PARAM_VALUE | 0 | qdisc->privdata.tin_index | 450804169053790208,1731505382743973888,2765471663650865152,3809747612656336896,8308205581223485440 |
| PARAM_VALUE | 0 | qdisc->privdata.tin_order | 5040099323216117760,5800058287865032704 |
| PARAM_VALUE | 0 | qdisc->privdata.vars.count | 1-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.vars.dropping | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.vars.first_above_time | 0 |
| PARAM_VALUE | 0 | qdisc->privdata.vars.lastcount | 1-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.warned | 0-4294967295 |
| PARAM_VALUE | 0 | qdisc->privdata.watchdog.timer.base->index | 0-7 |
| PARAM_VALUE | 0 | qdisc->privdata.watchdog.timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | qdisc->privdata.watchdog.timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | qdisc->privdata.watchdog.timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | qdisc->privdata.watchdog.timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | qdisc->privdata.watchdog.timer.node.expires | 0-s64max |
| PARAM_VALUE | 0 | qdisc->privdata.watchdog.timer.node.node.node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | qdisc->q.head->next | 0 |
| PARAM_VALUE | 0 | qdisc->skb_bad_txq.prev->next->next | 4096-ptr_max |
| DATA_SOURCE | 0 | qdisc | $0 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | root_lock | ||
| HALF_LOCKED2 | 0 | &qdisc->seqlock |