Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sched/sch_taprio.c taprio_change() -> taprio_update_queue_max_sdu()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->picos_per_byte.counter 17,800000
PARAM_VALUE 1 sched 4096-ptr_max
BUF_SIZE 1 sched 328
DATA_SOURCE 1 sched r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

net/sched/sch_taprio.c taprio_dev_notifier() -> taprio_update_queue_max_sdu()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->picos_per_byte.counter 17,800000
PARAM_VALUE 0 q->root 4096-ptr_max
PARAM_VALUE 0 q->root->dev_queue 4096-ptr_max
PARAM_VALUE 1 sched 1-u64max
CAPPED_DATA 0 &q->taprio_list 1
PARAM_COMPARE 1 sched == $0->oper_sched
PARAM_COMPARE 1 sched == $0->oper_sched
NOCHECK_CALL
LOCK2 rcu_read

net/sched/sch_taprio.c taprio_dev_notifier() -> taprio_update_queue_max_sdu()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->picos_per_byte.counter 17,800000
PARAM_VALUE 0 q->root 4096-ptr_max
PARAM_VALUE 0 q->root->dev_queue 4096-ptr_max
PARAM_VALUE 1 sched 1-u64max
CAPPED_DATA 0 &q->taprio_list 1
PARAM_COMPARE 1 sched == $0->admin_sched
PARAM_COMPARE 1 sched == $0->admin_sched
NOCHECK_CALL
LOCK2 rcu_read