Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sched/sch_gred.c gred_dump() -> gred_backlog()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 1 q 4096-ptr_max
PARAM_VALUE 2 sch 4096-ptr_max
BUF_SIZE 2 sch (-1)-s32max
BUF_SIZE 2 sch (-1)-s32max
DATA_SOURCE 2 sch $0
PARAM_COMPARE 2 &sch->privdata == $0
NOSPEC 2 sch->handle
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 sch->handle 1-4294967280,4294967282-u32max[c]
USER_DATA 2 sch->parent 0-u32max

net/sched/sch_gred.c gred_dump() -> gred_backlog()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 1 q 4096-ptr_max
PARAM_VALUE 2 sch 4096-ptr_max
BUF_SIZE 2 sch (-1)-s32max
BUF_SIZE 2 sch (-1)-s32max
DATA_SOURCE 2 sch $0
PARAM_COMPARE 2 &sch->privdata == $0
NOSPEC 2 sch->handle
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 sch->handle 1-4294967280,4294967282-u32max[c]
USER_DATA 2 sch->parent 0-u32max

net/sched/sch_gred.c gred_enqueue() -> gred_backlog()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 1 q 4096-ptr_max
PARAM_VALUE 2 sch 4096-ptr_max
CAPPED_DATA 0 table->DPs 1
DATA_SOURCE 2 sch $1
PARAM_COMPARE 2 &sch->privdata == $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 sch->q.head->csum 0-126976[c]
HOST_DATA 2 sch->q.head->csum_offset 0-u16max
HOST_DATA 2 sch->q.head->data_len 0-u32max[c]
HOST_DATA 2 sch->q.head->len 0-u32max[c]
HOST_DATA 2 sch->q.head->protocol 1-255
HOST_DATA 2 sch->q.head->truesize 0-u32max
HOST_DATA 2 sch->q.head->tstamp 500000002-4294967299794967295[c]
HOST_DATA 2 sch->q.head->users.refs.counter s32min-0,2-s32max
HOST_DATA 2 sch->q.tail->csum 0-126976[c]
HOST_DATA 2 sch->q.tail->csum_offset 0-u16max
HOST_DATA 2 sch->q.tail->data_len 0-u32max[c]
HOST_DATA 2 sch->q.tail->len 0-u32max[c]
HOST_DATA 2 sch->q.tail->protocol 1-255
HOST_DATA 2 sch->q.tail->truesize 0-u32max
HOST_DATA 2 sch->q.tail->tstamp 500000002-4294967299794967295[c]
HOST_DATA 2 sch->q.tail->users.refs.counter s32min-0,2-s32max
NO_OVERFLOW_SIMPLE 2 sch->q.head->data_len
NO_OVERFLOW_SIMPLE 2 sch->q.head->end
NO_OVERFLOW_SIMPLE 2 sch->q.head->len
NO_OVERFLOW_SIMPLE 2 sch->q.head->tail
NO_OVERFLOW_SIMPLE 2 sch->q.head->truesize
NO_OVERFLOW_SIMPLE 2 sch->q.tail->data_len
NO_OVERFLOW_SIMPLE 2 sch->q.tail->end
NO_OVERFLOW_SIMPLE 2 sch->q.tail->len
NO_OVERFLOW_SIMPLE 2 sch->q.tail->tail
NO_OVERFLOW_SIMPLE 2 sch->q.tail->truesize
HALF_LOCKED2 rcu_read
HALF_LOCKED2 2 &sch->seqlock

net/sched/sch_gred.c gred_enqueue() -> gred_backlog()

Type Parameter Key Value
PARAM_VALUE 0 table 4096-ptr_max
PARAM_VALUE 1 q 4096-ptr_max
PARAM_VALUE 2 sch 4096-ptr_max
CAPPED_DATA 0 table->DPs 1
CAPPED_DATA 1 q->parms.qth_min 1
DATA_SOURCE 2 sch $1
PARAM_COMPARE 2 &sch->privdata == $0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 sch->q.head->csum 0-126976[c]
HOST_DATA 2 sch->q.head->csum_offset 0-u16max
HOST_DATA 2 sch->q.head->data_len 0-u32max[c]
HOST_DATA 2 sch->q.head->len 0-u32max[c]
HOST_DATA 2 sch->q.head->protocol 1-255
HOST_DATA 2 sch->q.head->truesize 0-u32max
HOST_DATA 2 sch->q.head->tstamp 500000002-4294967299794967295[c]
HOST_DATA 2 sch->q.head->users.refs.counter s32min-0,2-s32max
HOST_DATA 2 sch->q.tail->csum 0-126976[c]
HOST_DATA 2 sch->q.tail->csum_offset 0-u16max
HOST_DATA 2 sch->q.tail->data_len 0-u32max[c]
HOST_DATA 2 sch->q.tail->len 0-u32max[c]
HOST_DATA 2 sch->q.tail->protocol 1-255
HOST_DATA 2 sch->q.tail->truesize 0-u32max
HOST_DATA 2 sch->q.tail->tstamp 500000002-4294967299794967295[c]
HOST_DATA 2 sch->q.tail->users.refs.counter s32min-0,2-s32max
NO_OVERFLOW_SIMPLE 2 sch->q.head->data_len
NO_OVERFLOW_SIMPLE 2 sch->q.head->end
NO_OVERFLOW_SIMPLE 2 sch->q.head->len
NO_OVERFLOW_SIMPLE 2 sch->q.head->tail
NO_OVERFLOW_SIMPLE 2 sch->q.head->truesize
NO_OVERFLOW_SIMPLE 2 sch->q.tail->data_len
NO_OVERFLOW_SIMPLE 2 sch->q.tail->end
NO_OVERFLOW_SIMPLE 2 sch->q.tail->len
NO_OVERFLOW_SIMPLE 2 sch->q.tail->tail
NO_OVERFLOW_SIMPLE 2 sch->q.tail->truesize
HALF_LOCKED2 rcu_read
HALF_LOCKED2 2 &sch->seqlock