Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sched/sch_fq.c fq_flow_adjust_timer() -> fq_flow_rb_insert()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->band_pkt_count 4096-ptr_max
PARAM_VALUE 0 q->delayed.rb_node 4096-ptr_max
PARAM_VALUE 0 q->flow_max_rate u64max
PARAM_VALUE 0 q->prio2band 4096-ptr_max
PARAM_VALUE 1 f 4096-ptr_max
PARAM_VALUE 1 f->head 1-u64max
PARAM_VALUE 1 f->next 4096-ptr_max
PARAM_VALUE 1 f->rate_node.rb_left 0,4096-ptr_max
PARAM_VALUE 1 f->rate_node.rb_right 0,4096-ptr_max
PARAM_VALUE 1 f->time_next_packet 1-u64max
BUF_SIZE 1 f (-1),112
BUF_SIZE 1 f (-1),112
CAPPED_DATA 1 f 1
CAPPED_DATA 1 &f->rate_node 1
DATA_SOURCE 0 q $0
DATA_SOURCE 1 f $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 f->head->csum_offset 0-u16max
HOST_DATA 1 f->head->data_len 0-u32max[c]
HOST_DATA 1 f->head->len 0-u32max[c]
HOST_DATA 1 f->head->truesize 0-u32max
HOST_DATA 1 f->head->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 f->head->users.refs.counter s32min-0,2-s32max
HOST_DATA 1 f->tail->csum_offset 0-u16max
HOST_DATA 1 f->tail->data_len 0-u32max[c]
HOST_DATA 1 f->tail->len 0-u32max[c]
HOST_DATA 1 f->tail->next->csum_offset 0-u16max
HOST_DATA 1 f->tail->next->data_len 0-u32max[c]
HOST_DATA 1 f->tail->next->len 0-u32max[c]
HOST_DATA 1 f->tail->next->truesize 0-u32max
HOST_DATA 1 f->tail->next->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 f->tail->next->users.refs.counter s32min-0,2-s32max
HOST_DATA 1 f->tail->truesize 0-u32max
HOST_DATA 1 f->tail->tstamp 500000002-4294967299794967295[c]
HOST_DATA 1 f->tail->users.refs.counter s32min-0,2-s32max
NO_OVERFLOW_SIMPLE 1 f->head->data_len
NO_OVERFLOW_SIMPLE 1 f->head->end
NO_OVERFLOW_SIMPLE 1 f->head->len
NO_OVERFLOW_SIMPLE 1 f->head->tail
NO_OVERFLOW_SIMPLE 1 f->head->truesize
NO_OVERFLOW_SIMPLE 1 f->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 1 f->tail->data_len
NO_OVERFLOW_SIMPLE 1 f->tail->end
NO_OVERFLOW_SIMPLE 1 f->tail->len
NO_OVERFLOW_SIMPLE 1 f->tail->next->data_len
NO_OVERFLOW_SIMPLE 1 f->tail->next->end
NO_OVERFLOW_SIMPLE 1 f->tail->next->len
NO_OVERFLOW_SIMPLE 1 f->tail->next->tail
NO_OVERFLOW_SIMPLE 1 f->tail->next->truesize
NO_OVERFLOW_SIMPLE 1 f->tail->tail
NO_OVERFLOW_SIMPLE 1 f->tail->truesize

net/sched/sch_fq.c fq_flow_set_throttled() -> fq_flow_rb_insert()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->band_flows 4096-ptr_max
PARAM_VALUE 0 q->internal.t_root.rb_node 0
PARAM_VALUE 0 q->time_next_delayed_flow 1-u64max
PARAM_VALUE 1 f 4096-ptr_max
PARAM_VALUE 1 f->credit 1-s32max
PARAM_VALUE 1 f->time_next_packet 1-u64max
DATA_SOURCE 0 q $0
DATA_SOURCE 1 f $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read