Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sched/sch_dualpi2.c dualpi2_init() -> next_pi2_timeout()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->l_queue 4096-ptr_max
PARAM_VALUE 0 q->l_queue->dequeue 1-u64max
PARAM_VALUE 0 q->l_queue->dev_queue 4096-ptr_max
PARAM_VALUE 0 q->l_queue->dev_tracker 0,4096-ptr_max
PARAM_VALUE 0 q->l_queue->enqueue 1-u64max
PARAM_VALUE 0 q->l_queue->flags 0
PARAM_VALUE 0 q->l_queue->gso_skb.next 4096-ptr_max
PARAM_VALUE 0 q->l_queue->gso_skb.prev 4096-ptr_max
PARAM_VALUE 0 q->l_queue->gso_skb.qlen 0
PARAM_VALUE 0 q->l_queue->ops 844278770859737088
PARAM_VALUE 0 q->l_queue->refcnt.refs.counter 1
PARAM_VALUE 0 q->l_queue->skb_bad_txq.next 4096-ptr_max
PARAM_VALUE 0 q->l_queue->skb_bad_txq.prev 4096-ptr_max
PARAM_VALUE 0 q->l_queue->skb_bad_txq.qlen 0
PARAM_VALUE 0 q->pi2_timer._softexpires 0
PARAM_VALUE 0 q->pi2_timer.base 4096-ptr_max
PARAM_VALUE 0 q->pi2_timer.function 1-u64max
PARAM_VALUE 0 q->pi2_timer.is_queued 0
PARAM_VALUE 0 q->pi2_timer.is_rel 0
PARAM_VALUE 0 q->pi2_timer.node.expires 0
PARAM_VALUE 0 q->pi2_timer.node.node.next 0
PARAM_VALUE 0 q->pi2_timer.node.node.node.rb_left 0
PARAM_VALUE 0 q->pi2_timer.node.node.node.rb_right 0
PARAM_VALUE 0 q->pi2_timer.node.node.prev 0
PARAM_VALUE 0 q->sch 4096-ptr_max
PARAM_VALUE 0 q->sch->dev_queue 4096-ptr_max
PARAM_VALUE 0 q->sch->dev_tracker 0,4096-ptr_max
PARAM_VALUE 0 q->sch->flags 0,1024-u32max
PARAM_VALUE 0 q->sch->gso_skb.next 4096-ptr_max
PARAM_VALUE 0 q->sch->gso_skb.prev 4096-ptr_max
PARAM_VALUE 0 q->sch->gso_skb.qlen 0
PARAM_VALUE 0 q->sch->ops 4096-ptr_max
PARAM_VALUE 0 q->sch->refcnt.refs.counter 1
PARAM_VALUE 0 q->sch->skb_bad_txq.next 4096-ptr_max
PARAM_VALUE 0 q->sch->skb_bad_txq.prev 4096-ptr_max
PARAM_VALUE 0 q->sch->skb_bad_txq.qlen 0
PARAM_VALUE 0 q->tcf_block 4096-ptr_max
PARAM_VALUE 0 q->tcf_block->cb_lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 q->tcf_block->index 0-1
PARAM_VALUE 0 q->tcf_block->refcnt.refs.counter (-1073741824),0-s32max
BUF_SIZE 0 q->l_queue 0-s32max
BUF_SIZE 0 q->l_queue->ops 176
BUF_SIZE 0 q->sch 0-s32max
BIT_INFO 0 q->l_queue->parent 0x1,0xffff0001
MEM_ZERO 0 &q->pi2_timer
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 q->l_queue->parent 0-u32max[c]
USER_DATA 0 q->sch->handle 1-4294967280,4294967282-u32max[c]
USER_DATA 0 q->sch->parent 0-u32max

net/sched/sch_dualpi2.c dualpi2_timer() -> next_pi2_timeout()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->sch 4096-ptr_max
PARAM_VALUE 0 q->sch->dev_queue 4096-ptr_max
PARAM_VALUE 0 q->sch->privdata.drop_overload 0-1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read
LOCK2 root_lock
HALF_LOCKED2 irq