Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/sched/sch_hfsc.c cftree_update() -> cftree_insert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cl | 4096-ptr_max |
| PARAM_VALUE | 0 | cl->cf_node.rb_left | 0,4096-ptr_max |
| PARAM_VALUE | 0 | cl->cf_node.rb_right | 0,4096-ptr_max |
| PARAM_VALUE | 0 | cl->cl_parent | 1-u64max |
| PARAM_VALUE | 0 | cl->cl_parent->cf_tree.rb_node | 4096-ptr_max |
| DATA_SOURCE | 0 | cl | $0 |
| NOSPEC | 0 | cl->cl_rsc.sm1 | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cl->cl_deadline.dx | 0-18446744073692774400[c] |
| USER_DATA | 0 | cl->cl_eligible.dx | 0-18446744073692774400[c] |
| USER_DATA | 0 | cl->cl_eligible.ism1 | 59-260294967295 |
| USER_DATA | 0 | cl->cl_eligible.ism2 | 59-260294967295 |
| USER_DATA | 0 | cl->cl_eligible.sm1 | 0,2-4611686018[c] |
| USER_DATA | 0 | cl->cl_eligible.sm2 | 0,2-4611686018[c] |
| USER_DATA | 0 | cl->cl_fsc.ism1 | 59-260294967295 |
| USER_DATA | 0 | cl->cl_fsc.ism2 | 59-260294967295 |
| USER_DATA | 0 | cl->cl_fsc.sm1 | 0,2-4611686018[c] |
| USER_DATA | 0 | cl->cl_fsc.sm2 | 0,2-4611686018[c] |
| USER_DATA | 0 | cl->cl_rsc.ism1 | 59-260294967295 |
| USER_DATA | 0 | cl->cl_rsc.ism2 | 59-260294967295 |
| USER_DATA | 0 | cl->cl_rsc.sm1 | 0,2-4611686018[c] |
| USER_DATA | 0 | cl->cl_rsc.sm2 | 0,2-4611686018[c] |
| USER_DATA | 0 | cl->cl_ulimit.dx | 0-18446744073692774400[c] |
| USER_DATA | 0 | cl->cl_usc.ism1 | 59-260294967295 |
| USER_DATA | 0 | cl->cl_usc.ism2 | 59-260294967295 |
| USER_DATA | 0 | cl->cl_usc.sm1 | 0,2-4611686018[c] |
| USER_DATA | 0 | cl->cl_usc.sm2 | 0,2-4611686018[c] |
| USER_DATA | 0 | cl->cl_virtual.dx | 0-18446744073692774400[c] |
| NO_OVERFLOW_SIMPLE | 0 | cl->qdisc->gso_skb.next->end | |
| NO_OVERFLOW_SIMPLE | 0 | cl->qdisc->gso_skb.next->prev->end | |
| HALF_LOCKED2 | bh |
net/sched/sch_hfsc.c init_vf() -> cftree_insert()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cl | 4096-ptr_max |
| PARAM_VALUE | 0 | cl->cl_f | 0 |
| PARAM_VALUE | 0 | cl->cl_parent | 4096-ptr_max |
| PARAM_VALUE | 0 | cl->cl_parent->vt_tree.rb_node | 4096-ptr_max |
| PARAM_VALUE | 0 | cl->cl_vtadj | 0 |
| PARAM_VALUE | 0 | cl->cl_vtperiod | 1-u32max |
| PARAM_VALUE | 0 | cl->vt_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | cl->vt_node.rb_left | 4096-ptr_max |
| PARAM_VALUE | 0 | cl->vt_node.rb_right | 4096-ptr_max |
| CAPPED_DATA | 0 | cl->cl_vt | 1 |
| DATA_SOURCE | 0 | cl | $0 [m] |
| NOSPEC | 0 | cl->cl_rsc.sm1 | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | cl->cl_deadline.dx | 0-18446744073692774400[c] |
| USER_DATA | 0 | cl->cl_eligible.dx | 0-18446744073692774400[c] |
| USER_DATA | 0 | cl->cl_eligible.ism1 | 59-260294967295 |
| USER_DATA | 0 | cl->cl_eligible.ism2 | 59-260294967295 |
| USER_DATA | 0 | cl->cl_eligible.sm1 | 0,2-4611686018[c] |
| USER_DATA | 0 | cl->cl_eligible.sm2 | 0,2-4611686018[c] |
| USER_DATA | 0 | cl->cl_fsc.ism1 | 59-260294967295 |
| USER_DATA | 0 | cl->cl_fsc.ism2 | 59-260294967295 |
| USER_DATA | 0 | cl->cl_fsc.sm1 | 0,2-4611686018[c] |
| USER_DATA | 0 | cl->cl_fsc.sm2 | 0,2-4611686018[c] |
| USER_DATA | 0 | cl->cl_rsc.ism1 | 59-260294967295 |
| USER_DATA | 0 | cl->cl_rsc.ism2 | 59-260294967295 |
| USER_DATA | 0 | cl->cl_rsc.sm1 | 0,2-4611686018[c] |
| USER_DATA | 0 | cl->cl_rsc.sm2 | 0,2-4611686018[c] |
| USER_DATA | 0 | cl->cl_usc.ism1 | 59-260294967295 |
| USER_DATA | 0 | cl->cl_usc.ism2 | 59-260294967295 |
| USER_DATA | 0 | cl->cl_usc.sm1 | 0,2-4611686018[c] |
| USER_DATA | 0 | cl->cl_usc.sm2 | 0,2-4611686018[c] |
| USER_DATA | 0 | cl->cl_virtual.dx | 0-18446744073692774400[c] |
| HALF_LOCKED2 | bh |