Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sched/sch_htb.c htb_charge_class() -> htb_change_class_mode()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->direct_queue.head 0
PARAM_VALUE 0 q->hlevel 4096-ptr_max
PARAM_VALUE 0 q->near_ev_cache 4096-ptr_max
PARAM_VALUE 0 q->row_mask 4096-ptr_max
PARAM_VALUE 1 cl 4096-ptr_max
PARAM_VALUE 1 cl->leaf.deficit 4096-ptr_max
PARAM_VALUE 2 diff 2247001279772520448
PARAM_VALUE 2 *diff 0
CAPPED_DATA 1 cl->ceil.mpu 1
CAPPED_DATA 1 cl->level 1
DATA_SOURCE 0 q $0
DATA_SOURCE 1 cl $1 [m]
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/sched/sch_htb.c htb_do_events() -> htb_change_class_mode()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->direct_queue.head 0
PARAM_VALUE 0 q->hlevel 4096-ptr_max
PARAM_VALUE 0 q->near_ev_cache 4096-ptr_max
PARAM_VALUE 1 cl 4096-ptr_max
PARAM_VALUE 2 diff 626701619822514176
CAPPED_DATA 1 cl->pq_key 1
DATA_SOURCE 0 q $0
PARAM_COMPARE 1 cl->pq_key <= $0->now
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read