Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/sched/sch_generic.c __qdisc_destroy() -> qdisc_lock_uninit()

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->privdata.advance_timer.is_queued 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.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->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
PARAM_VALUE 1 ops 4096-ptr_max
BUF_SIZE 0 sch (-1)-s32max
BUF_SIZE 0 sch (-1)-s32max
BUF_SIZE 0 sch->ops (-1),176
BUF_SIZE 1 ops (-1),176
BUF_SIZE 1 ops (-1),176
CAPPED_DATA 0 sch 1
DATA_SOURCE 0 sch $0
BIT_INFO 0 sch->flags 0x0,0xfffffffe
NOSPEC 0 sch->handle
PREEMPT_ADD
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_generic.c qdisc_alloc() -> qdisc_lock_uninit()

Type Parameter Key Value
PARAM_VALUE 0 sch 4096-ptr_max
PARAM_VALUE 0 sch->cpu_bstats 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->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
PARAM_VALUE 1 ops 4096-ptr_max
PARAM_VALUE 1 ops->owner 0,4096-ptr_max
PARAM_VALUE 1 ops->static_flags 32-u32max
BUF_SIZE 0 sch 0-u32max
BUF_SIZE 0 sch 0-u32max
BUF_SIZE 0 sch->cpu_bstats 16
BUF_SIZE 0 sch->cpu_qstats 20,u64max
BUF_SIZE 1 ops (-1),176
BUF_SIZE 1 ops (-1),176
DATA_SOURCE 0 sch r _kmalloc_node_noprof
DATA_SOURCE 1 ops $1
BIT_INFO 1 ops->static_flags 0x20,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sched/sch_api.c qdisc_create() -> qdisc_lock_uninit()

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->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->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
PARAM_VALUE 1 ops 4096-ptr_max
PARAM_VALUE 1 ops->id 4096-ptr_max
PARAM_VALUE 1 ops->owner 0,4096-ptr_max
BUF_SIZE 0 sch 0-s32max
BUF_SIZE 0 sch 0-s32max
DATA_SOURCE 0 sch r qdisc_alloc
DATA_SOURCE 1 ops r qdisc_lookup_ops
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