Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/sched/sch_hfsc.c init_vf() -> cftree_update()

Type Parameter Key Value
PARAM_VALUE 0 cl 4096-ptr_max
PARAM_VALUE 0 cl->cl_parent 1-u64max
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_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]
HALF_LOCKED2 bh

net/sched/sch_hfsc.c update_vf() -> cftree_update()

Type Parameter Key Value
PARAM_VALUE 0 cl 4096-ptr_max
PARAM_VALUE 0 cl->cl_flags 2-255
PARAM_VALUE 0 cl->cl_nactive 1-u32max
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->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_total 1
CAPPED_DATA 0 cl->cl_virtual.y 1
DATA_SOURCE 0 cl $0 [m]
PARAM_COMPARE 0 cl->cl_parent->cl_cvtmin <= $0->cl_vt
BIT_INFO 0 cl->cl_flags 0x2,0xff
NOSPEC 0 cl->cl_rsc.sm1
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]
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read