Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/fair.c __update_blocked_fair() -> cfs_rq_is_decayed()

Type Parameter Key Value
PARAM_VALUE 0 cfs_rq 4096-ptr_max
CAPPED_DATA 0 &cfs_rq->leaf_cfs_rq_list 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock
HALF_LOCKED2 _T->rf.flags
HALF_LOCKED2 irq

kernel/sched/fair.c tg_unthrottle_up() -> cfs_rq_is_decayed()

Type Parameter Key Value
PARAM_VALUE 0 cfs_rq 4096-ptr_max
CAPPED_DATA 0 &cfs_rq->throttled_limbo_list 1
DATA_SOURCE 0 cfs_rq r tg_cfs_rq
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock
HALF_LOCKED2 rcu_read