Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 se 4096-ptr_max
PARAM_VALUE 0 se->avg.last_update_time 0
PARAM_VALUE 1 prev->h_curr 0
PARAM_VALUE 1 prev->pelt_clock_throttled 1
PARAM_VALUE 1 prev->propagate 1
PARAM_VALUE 1 prev->removed.load_avg 0
PARAM_VALUE 1 prev->removed.lock.dep_map->name 0-255
PARAM_VALUE 1 prev->removed.lock.owner (-1)
PARAM_VALUE 1 prev->removed.lock.owner_cpu u32max
PARAM_VALUE 1 prev->removed.nr 0
PARAM_VALUE 1 prev->removed.runnable_avg 0
PARAM_VALUE 1 prev->removed.util_avg 0
PARAM_VALUE 1 prev->rq->curr->mm->sc_stat.cpu (-1)
PARAM_VALUE 1 prev->rq->curr->pref_llc_queued 0-1
PARAM_VALUE 1 prev->rq->fair_server.dl_timer.base->cpu_base->expires_next 0-s64max
PARAM_VALUE 1 prev->rq->fair_server.dl_timer.base->cpu_base->softirq_expires_next 0-s64max
PARAM_VALUE 1 prev->rq->fair_server.inactive_timer.base 4096-ptr_max
PARAM_VALUE 1 prev->rq->fair_server.inactive_timer.flags 0-4294967295
PARAM_VALUE 1 prev->rq->fair_server.inactive_timer.node.node.node.__rb_parent_color 1
PARAM_VALUE 1 prev->rq->fair_server.inactive_timer.node.node.node.rb_left 4096-ptr_max
PARAM_VALUE 1 prev->rq->fair_server.inactive_timer.node.node.node.rb_right 4096-ptr_max
PARAM_VALUE 1 prev->rq->fair_server.pi_se 4096-ptr_max
PARAM_VALUE 1 prev->rq->fair_server.pi_se->pi_se 4096-ptr_max
PARAM_VALUE 1 prev->rq->fair_server.rb_node.__rb_parent_color 1
PARAM_VALUE 1 prev->rq->fair_server.rb_node.rb_left 4096-ptr_max
PARAM_VALUE 1 prev->rq->leaf_cfs_rq_list.prev 4096-ptr_max
PARAM_VALUE 1 prev->rq->leaf_cfs_rq_list.prev->next 4096-ptr_max
PARAM_VALUE 1 prev->rq->tmp_alone_branch 4096-ptr_max
PARAM_VALUE 1 prev->rq->tmp_alone_branch->next 4096-ptr_max
PARAM_VALUE 1 prev->rq->tmp_alone_branch->next->prev 4096-ptr_max
PARAM_VALUE 1 prev->rq->tmp_alone_branch->prev 4096-ptr_max
PARAM_VALUE 1 prev->throttled_list.next 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

kernel/sched/core.c set_task_rq() -> set_task_rq_fair()

Type Parameter Key Value
PARAM_VALUE 0 se 4096-ptr_max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL