Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sched/sch_qfq.c qfq_add_to_agg() -> qfq_activate_agg()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->iwsum 0-1073741824
PARAM_VALUE 0 q->nonfull_aggs.first 4096-ptr_max
PARAM_VALUE 1 agg 4096-ptr_max
PARAM_VALUE 1 agg->active.prev 4096-ptr_max
PARAM_VALUE 1 agg->active.prev->next 4096-ptr_max
PARAM_VALUE 1 agg->active.prev->next->next 4096-ptr_max
PARAM_VALUE 1 agg->grp 1-u64max
PARAM_VALUE 1 agg->inv_w 0-1073741824
PARAM_VALUE 2 reason 0
BUF_SIZE 1 agg (-1),104
BUF_SIZE 1 agg (-1),104
DATA_SOURCE 0 q $0
DATA_SOURCE 1 agg $1
PARAM_COMPARE 1 agg != $0->in_serv_agg
PARAM_COMPARE 1 agg != $0->in_serv_agg
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh

net/sched/sch_qfq.c qfq_enqueue() -> qfq_activate_agg()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 1 agg 4096-ptr_max
PARAM_VALUE 1 agg->active.prev 4096-ptr_max
PARAM_VALUE 1 agg->active.prev->next 4096-ptr_max
PARAM_VALUE 1 agg->active.prev->next->next 4096-ptr_max
PARAM_VALUE 2 reason 0
PARAM_COMPARE 1 agg != $0->in_serv_agg
PARAM_COMPARE 1 agg != $0->in_serv_agg
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 rcu_read