Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 10 files:

Smatch caller information:

net/sched/sch_choke.c rtnl_qdisc_drop() -> rtnl_kfree_skbs()

Type Parameter Key Value
PARAM_VALUE 0 head 1-u64max
PARAM_VALUE 1 tail 1-u64max
DATA_SOURCE 0 head $0
DATA_SOURCE 1 tail $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh

net/sched/sch_netem.c __qdisc_reset_queue() -> rtnl_kfree_skbs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 head unit_byte
UNITS 1 tail unit_byte
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 &sch->seqlock
HALF_LOCKED2 bh

net/sched/sch_netem.c tfifo_reset() -> rtnl_kfree_skbs()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 tail 4096-ptr_max
CAPPED_DATA 0 &head->rbnode 1
CAPPED_DATA 1 &tail->rbnode 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 head unit_byte
UNITS 1 tail unit_byte
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 &sch->seqlock
HALF_LOCKED2 bh

net/sched/sch_netem.c tfifo_reset() -> rtnl_kfree_skbs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 head unit_byte
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 &sch->seqlock
HALF_LOCKED2 bh

net/sched/sch_generic.c pfifo_fast_reset() -> rtnl_kfree_skbs()

Type Parameter Key Value
PARAM_VALUE 0 head 1-u64max
PARAM_VALUE 1 tail 1-u64max
BUF_SIZE 0 head 1-s32max
BUF_SIZE 0 head 1-s32max
BUF_SIZE 1 tail 1-s32max
BUF_SIZE 1 tail 1-s32max
DATA_SOURCE 0 head r __skb_array_consume
DATA_SOURCE 1 tail r __skb_array_consume
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 &qdisc->seqlock
HALF_LOCKED2 bh

net/sched/sch_dualpi2.c __qdisc_reset_queue() -> rtnl_kfree_skbs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 head unit_byte
UNITS 1 tail unit_byte
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 bh

net/sched/sch_dualpi2.c rtnl_qdisc_drop() -> rtnl_kfree_skbs()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 tail 4096-ptr_max
PARAM_VALUE 1 tail->next 0
DATA_SOURCE 0 head $0
DATA_SOURCE 1 tail $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh

net/sched/sch_pie.c __qdisc_reset_queue() -> rtnl_kfree_skbs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 head unit_byte
UNITS 1 tail unit_byte
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 &sch->seqlock
HALF_LOCKED2 bh

net/sched/sch_pie.c rtnl_qdisc_drop() -> rtnl_kfree_skbs()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 tail 4096-ptr_max
PARAM_VALUE 1 tail->next 0
DATA_SOURCE 0 head $0
DATA_SOURCE 1 tail $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh

net/sched/sch_hhf.c hhf_change() -> rtnl_kfree_skbs()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 tail 4096-ptr_max
BUF_SIZE 0 head (-1)-s32max
BUF_SIZE 0 head (-1)-s32max
BUF_SIZE 1 tail (-1)-s32max
BUF_SIZE 1 tail (-1)-s32max
CAPPED_DATA 0 head 1
CAPPED_DATA 1 tail 1
DATA_SOURCE 0 head r qdisc_dequeue_internal
DATA_SOURCE 1 tail r qdisc_dequeue_internal
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh

net/sched/sch_hhf.c hhf_reset() -> rtnl_kfree_skbs()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 tail 4096-ptr_max
PARAM_VALUE 1 tail->next 0
DATA_SOURCE 0 head r hhf_dequeue
DATA_SOURCE 1 tail r hhf_dequeue
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 &sch->seqlock
HALF_LOCKED2 bh

net/sched/sch_fq_pie.c fq_pie_change() -> rtnl_kfree_skbs()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 tail 4096-ptr_max
BUF_SIZE 0 head (-1)-s32max
BUF_SIZE 0 head (-1)-s32max
BUF_SIZE 1 tail (-1)-s32max
BUF_SIZE 1 tail (-1)-s32max
CAPPED_DATA 0 head 1
CAPPED_DATA 1 tail 1
DATA_SOURCE 0 head r qdisc_dequeue_internal
DATA_SOURCE 1 tail r qdisc_dequeue_internal
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh

net/sched/sch_fq_pie.c fq_pie_reset() -> rtnl_kfree_skbs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 head unit_byte
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 &sch->seqlock
HALF_LOCKED2 bh

net/sched/sch_gred.c __qdisc_reset_queue() -> rtnl_kfree_skbs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 head unit_byte
UNITS 1 tail unit_byte
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 &sch->seqlock
HALF_LOCKED2 bh

net/sched/sch_etf.c __qdisc_reset_queue() -> rtnl_kfree_skbs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 head unit_byte
UNITS 1 tail unit_byte
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 &sch->seqlock
HALF_LOCKED2 bh

net/sched/sch_etf.c timesortedlist_clear() -> rtnl_kfree_skbs()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 tail 4096-ptr_max
CAPPED_DATA 0 &head->rbnode 1
CAPPED_DATA 1 &tail->rbnode 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 head unit_byte
UNITS 1 tail unit_byte
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 &sch->seqlock
HALF_LOCKED2 bh

net/sched/sch_codel.c __qdisc_reset_queue() -> rtnl_kfree_skbs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 head unit_byte
UNITS 1 tail unit_byte
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 &sch->seqlock
HALF_LOCKED2 bh

net/sched/sch_codel.c rtnl_qdisc_drop() -> rtnl_kfree_skbs()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 tail 4096-ptr_max
PARAM_VALUE 1 tail->next 0
DATA_SOURCE 0 head $0
DATA_SOURCE 1 tail $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh

net/sched/sch_htb.c __qdisc_reset_queue() -> rtnl_kfree_skbs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 head unit_byte
UNITS 1 tail unit_byte

net/sched/sch_fq_codel.c fq_codel_change() -> rtnl_kfree_skbs()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 tail 4096-ptr_max
BUF_SIZE 0 head (-1)-s32max
BUF_SIZE 0 head (-1)-s32max
BUF_SIZE 1 tail (-1)-s32max
BUF_SIZE 1 tail (-1)-s32max
CAPPED_DATA 0 head 1
CAPPED_DATA 1 tail 1
DATA_SOURCE 0 head r qdisc_dequeue_internal
DATA_SOURCE 1 tail r qdisc_dequeue_internal
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh

net/sched/sch_fq_codel.c fq_codel_flow_purge() -> rtnl_kfree_skbs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 head unit_byte
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 &sch->seqlock
HALF_LOCKED2 bh

net/sched/sch_fq.c fq_change() -> rtnl_kfree_skbs()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 tail 4096-ptr_max
BUF_SIZE 0 head (-1)-s32max
BUF_SIZE 0 head (-1)-s32max
BUF_SIZE 1 tail (-1)-s32max
BUF_SIZE 1 tail (-1)-s32max
CAPPED_DATA 0 head 1
CAPPED_DATA 1 tail 1
DATA_SOURCE 0 head r qdisc_dequeue_internal
DATA_SOURCE 1 tail r qdisc_dequeue_internal
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh

net/sched/sch_fq.c fq_flow_purge() -> rtnl_kfree_skbs()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 tail 4096-ptr_max
CAPPED_DATA 0 &head->rbnode 1
CAPPED_DATA 1 &tail->rbnode 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 head unit_byte
UNITS 1 tail unit_byte

net/sched/sch_fq.c fq_flow_purge() -> rtnl_kfree_skbs()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 head unit_byte

net/sched/sch_sfq.c sfq_change() -> rtnl_kfree_skbs()

Type Parameter Key Value
PARAM_VALUE 0 head 0
PARAM_VALUE 1 tail 0
BUF_SIZE 0 head 0
BUF_SIZE 1 tail 0
PARAM_COMPARE 0 head == $1
PARAM_COMPARE 1 tail == $0
PARAM_COMPARE 1 tail == $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
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

net/sched/sch_sfq.c sfq_reset() -> rtnl_kfree_skbs()

Type Parameter Key Value
PARAM_VALUE 0 head 4096-ptr_max
PARAM_VALUE 1 tail 4096-ptr_max
PARAM_VALUE 1 tail->next 0
DATA_SOURCE 0 head r sfq_dequeue
DATA_SOURCE 1 tail r sfq_dequeue
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &priv->state_lock
HALF_LOCKED2 &sch->seqlock
HALF_LOCKED2 bh