Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sched/sch_generic.c __qdisc_destroy() -> (struct Qdisc_ops)->destroy()

Type Parameter Key Value
PARAM_VALUE 0 sch 4096-ptr_max
PARAM_VALUE 0 sch->dev_queue 4096-ptr_max
PARAM_VALUE 0 sch->hash->next->pprev 1-u64max
PARAM_VALUE 0 sch->hash.next->pprev 1-u64max
PARAM_VALUE 0 sch->hash.pprev 0
PARAM_VALUE 0 sch->ops 4096-ptr_max
PARAM_VALUE 0 sch->ops->destroy 1-u64max
PARAM_VALUE 0 sch->privdata.advance_timer.is_queued 0
PARAM_VALUE 0 sch->privdata.advance_timer.node.node.next 0
PARAM_VALUE 0 sch->privdata.advance_timer.node.node.prev 0
PARAM_VALUE 0 sch->privdata.c_head_ts 0
PARAM_VALUE 0 sch->privdata.c_protection_credit s32min-s32max
PARAM_VALUE 0 sch->privdata.credits 0
PARAM_VALUE 0 sch->privdata.cur_depth 0-255
PARAM_VALUE 0 sch->privdata.cur_flow 1024
PARAM_VALUE 0 sch->privdata.cur_tin 0-7
PARAM_VALUE 0 sch->privdata.curband 0
PARAM_VALUE 0 sch->privdata.direct_queue.head 0
PARAM_VALUE 0 sch->privdata.direct_queue.qlen 0
PARAM_VALUE 0 sch->privdata.direct_queue.tail 0
PARAM_VALUE 0 sch->privdata.double_buffering 0
PARAM_VALUE 0 sch->privdata.ecn_mark 0
PARAM_VALUE 0 sch->privdata.flows 0
PARAM_VALUE 0 sch->privdata.head 0
PARAM_VALUE 0 sch->privdata.head.rb_leftmost->rb_left 0
PARAM_VALUE 0 sch->privdata.hh_flows_current_cnt 0
PARAM_VALUE 0 sch->privdata.hhf_arrays_reset_timestamp 0-4294967295
PARAM_VALUE 0 sch->privdata.highest_prio 0
PARAM_VALUE 0 sch->privdata.hlevel->wait_pq.rb_node 0
PARAM_VALUE 0 sch->privdata.inactive_flows 0
PARAM_VALUE 0 sch->privdata.internal.head 0
PARAM_VALUE 0 sch->privdata.internal.qlen 0
PARAM_VALUE 0 sch->privdata.l_head_ts 0
PARAM_VALUE 0 sch->privdata.l_queue->q.head 0
PARAM_VALUE 0 sch->privdata.l_queue->q.qlen 0
PARAM_VALUE 0 sch->privdata.l_queue->q.tail 0
PARAM_VALUE 0 sch->privdata.last 0
PARAM_VALUE 0 sch->privdata.lowest_prio 63
PARAM_VALUE 0 sch->privdata.max_memory_used 0
PARAM_VALUE 0 sch->privdata.maxq 0
PARAM_VALUE 0 sch->privdata.memory_usage 0
PARAM_VALUE 0 sch->privdata.memory_used 0
PARAM_VALUE 0 sch->privdata.packets_in_c 0
PARAM_VALUE 0 sch->privdata.packets_in_l 0
PARAM_VALUE 0 sch->privdata.pi2_prob 0
PARAM_VALUE 0 sch->privdata.q.next->prev 2011684551238094848
PARAM_VALUE 0 sch->privdata.q.prev->next 2011684551238094848
PARAM_VALUE 0 sch->privdata.q.qlen 0
PARAM_VALUE 0 sch->privdata.qdisc->gso_skb.qlen 0-4294967295
PARAM_VALUE 0 sch->privdata.qdisc->q.qlen 0
PARAM_VALUE 0 sch->privdata.qdisc->qstats.backlog 0
PARAM_VALUE 0 sch->privdata.qdisc->skb_bad_txq.qlen 0-4294967295
PARAM_VALUE 0 sch->privdata.slot 0
PARAM_VALUE 0 sch->privdata.step_marks 0
PARAM_VALUE 0 sch->privdata.t_head 0
PARAM_VALUE 0 sch->privdata.t_len 0
PARAM_VALUE 0 sch->privdata.t_tail 0
PARAM_VALUE 0 sch->privdata.tail 0
PARAM_VALUE 0 sch->privdata.throttled_flows 0
PARAM_VALUE 0 sch->privdata.vars.accu_prob 0
PARAM_VALUE 0 sch->privdata.vars.avg_dq_rate 0
PARAM_VALUE 0 sch->privdata.vars.burst_time 2343750
PARAM_VALUE 0 sch->privdata.vars.count 0
PARAM_VALUE 0 sch->privdata.vars.dq_count (-1)
PARAM_VALUE 0 sch->privdata.vars.dq_tstamp (-1)
PARAM_VALUE 0 sch->privdata.vars.drop_next 0
PARAM_VALUE 0 sch->privdata.vars.dropping 0
PARAM_VALUE 0 sch->privdata.vars.first_above_time 0
PARAM_VALUE 0 sch->privdata.vars.lastcount 0
PARAM_VALUE 0 sch->privdata.vars.ldelay 0
PARAM_VALUE 0 sch->privdata.vars.qavg 0
PARAM_VALUE 0 sch->privdata.vars.qcount (-1)
PARAM_VALUE 0 sch->privdata.vars.qidlestart 0
PARAM_VALUE 0 sch->privdata.vars.rec_inv_sqrt 0
PARAM_VALUE 0 sch->privdata.watchdog.timer.is_queued 0
PARAM_VALUE 0 sch->privdata.watchdog.timer.node.node.next 0
PARAM_VALUE 0 sch->privdata.watchdog.timer.node.node.prev 0
PARAM_VALUE 0 sch->q.head 0
PARAM_VALUE 0 sch->q.qlen 0
PARAM_VALUE 0 sch->q.tail 0
PARAM_VALUE 0 sch->qstats.backlog 0
PARAM_VALUE 0 *sch->privdata->backlogs 0-4294967295
PARAM_VALUE 0 *sch->privdata->band_pkt_count 0
PARAM_VALUE 0 *sch->privdata->row_mask s32min-s32max
BUF_SIZE 0 sch (-1)-s32max
BUF_SIZE 0 sch (-1)-s32max
BUF_SIZE 0 sch->ops (-1),176
CAPPED_DATA 0 sch 1
DATA_SOURCE 0 sch $0
BIT_INFO 0 sch->flags 0x0,0xfffffffe
NOSPEC 0 sch->handle
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 sch->handle 1-4294967280,4294967282-u32max[c]
USER_DATA 0 sch->parent 0-u32max
HALF_LOCKED2 global &rtnl_mutex

net/sched/sch_api.c qdisc_create() -> (struct Qdisc_ops)->destroy()

Type Parameter Key Value
PARAM_VALUE 0 sch 4096-ptr_max
PARAM_VALUE 0 sch->dev_queue 4096-ptr_max
PARAM_VALUE 0 sch->dev_tracker 0,4096-ptr_max
PARAM_VALUE 0 sch->gso_skb.next 4096-ptr_max
PARAM_VALUE 0 sch->gso_skb.prev 4096-ptr_max
PARAM_VALUE 0 sch->gso_skb.qlen 0
PARAM_VALUE 0 sch->handle 1-u32max
PARAM_VALUE 0 sch->ops 4096-ptr_max
PARAM_VALUE 0 sch->ops->owner 0,4096-ptr_max
PARAM_VALUE 0 sch->parent 1-u32max
PARAM_VALUE 0 sch->privdata.block_info.block_index 1-4294967295
PARAM_VALUE 0 sch->privdata.egress_block_info.block_index 1-4294967295
PARAM_VALUE 0 sch->privdata.ingress_block_info.block_index 1-4294967295
PARAM_VALUE 0 sch->refcnt.refs.counter 1
PARAM_VALUE 0 sch->skb_bad_txq.next 4096-ptr_max
PARAM_VALUE 0 sch->skb_bad_txq.prev 4096-ptr_max
PARAM_VALUE 0 sch->skb_bad_txq.qlen 0
BUF_SIZE 0 sch 0-s32max
BUF_SIZE 0 sch 0-s32max
CAPPED_DATA 0 sch->handle 1
DATA_SOURCE 0 sch r qdisc_alloc
NOSPEC 0 sch->handle
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 sch->handle 1-4294967280,4294967282-u32max[c]
USER_DATA 0 sch->parent 1-u32max
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &rtnl_mutex
HALF_LOCKED2 global &rx_queue_mutex