Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sched/sch_cake.c cake_heapify() -> cake_heap_swap()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->tins 4096-ptr_max
PARAM_VALUE 2 j 1-8191
DATA_SOURCE 0 q $0
DATA_SOURCE 1 i $1
PARAM_COMPARE 1 i != $2
PARAM_COMPARE 2 j != $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sched/sch_cake.c cake_heapify_up() -> cake_heap_swap()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->tins 4096-ptr_max
PARAM_VALUE 1 i 1-8191
PARAM_VALUE 2 j 0-4095
DATA_SOURCE 0 q $0
DATA_SOURCE 1 i $1 [m]
NOCHECK_CALL