Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/fair.c migrate_se_pelt_lag() -> cfs_rq_last_update_time()

Type Parameter Key Value
PARAM_VALUE 0 cfs_rq 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &p->pi_lock
HALF_LOCKED2 &p->sighand->siglock
HALF_LOCKED2 irq
HALF_LOCKED2 rf.flags
HALF_LOCKED2 rq

kernel/sched/fair.c set_task_rq_fair() -> cfs_rq_last_update_time()

Type Parameter Key Value
PARAM_VALUE 0 cfs_rq 1-u64max
DATA_SOURCE 0 cfs_rq $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/sched/fair.c set_task_rq_fair() -> cfs_rq_last_update_time()

Type Parameter Key Value
DATA_SOURCE 0 cfs_rq $2
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING

kernel/sched/fair.c sync_entity_load_avg() -> cfs_rq_last_update_time()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &p->pi_lock