Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sched/sch_cake.c cake_dequeue() -> cake_dec_dsthost_bulk_flow_count()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 1 flow 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/sched/sch_cake.c cake_dequeue() -> cake_dec_dsthost_bulk_flow_count()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 1 flow 4096-ptr_max
CAPPED_DATA 1 flow->cvars.drop_next 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

net/sched/sch_cake.c cake_hash() -> cake_dec_dsthost_bulk_flow_count()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 1 flow 4096-ptr_max
PARAM_VALUE 2 flow_mode s32min-(-1),1-s32max
DATA_SOURCE 0 q $0
DATA_SOURCE 2 flow_mode $2
NOCHECK_CALL