Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/core.c sched_change_group() -> (struct sched_class)->task_change_group()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->dl.inactive_timer.base->index 0-7
PARAM_VALUE 0 p->pushable_dl_tasks.__rb_parent_color 1
PARAM_VALUE 0 p->pushable_dl_tasks.rb_left 4096-ptr_max
PARAM_VALUE 0 p->pushable_tasks.prio_list.next->prev 4096-ptr_max
PARAM_VALUE 0 p->sched_class 4096-ptr_max
PARAM_VALUE 0 p->sched_class->select_task_rq 0,84,819017430815793152,1774144038744014848,2097362150474280960,8429637501012336640,8680431057181843456
PARAM_VALUE 0 p->sched_class->set_next_task 0,6,2315212163512696832,4028699749262393344,4361835877848195072,6461874264613330944,8232387521787854848
PARAM_VALUE 0 p->sched_class->task_change_group 7251702690162270208
PARAM_VALUE 0 p->sched_class->update_curr 0,2,2420086066110373888,2446272091500916736,2561397482238263296,2943871782664327168,8139140255186919424
PARAM_VALUE 0 p->se.cfs_rq->h_curr 0
PARAM_VALUE 0 p->se.cfs_rq->removed.lock.dep_map->name 0-255
PARAM_VALUE 0 p->se.cfs_rq->rq->curr->mm->sc_stat.cpu (-1)
PARAM_VALUE 0 p->se.cfs_rq->rq->curr->pref_llc_queued 0-1
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->__state 0,512
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->core_node.__rb_parent_color 1
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->core_node.rb_left 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->core_node.rb_right 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->cpus_ptr 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->delays->lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->mm->mm_cid.irq_work.node.a_flags.counter 0-s32max
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->pushable_dl_tasks.__rb_parent_color 1
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->pushable_dl_tasks.rb_left 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->pushable_tasks.node_list.next->next 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->pushable_tasks.node_list.next->prev 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->pushable_tasks.node_list.prev->next 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->pushable_tasks.node_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->pushable_tasks.prio_list.next->next 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->pushable_tasks.prio_list.prev->next 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->pushable_tasks.prio_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->rseq.event.ids_changed 1
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->sched_migrated 1
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->sched_throttle_work.next 0-7661163036167163903,7661163036167163905-u64max
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->se.group_node.next->prev 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->throttle_node.next->prev 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->donor->wake_cpu 0-s32max
PARAM_VALUE 0 p->se.cfs_rq->rq->fair_server.dl_timer.base->cpu_base->expires_next 0-s64max
PARAM_VALUE 0 p->se.cfs_rq->rq->fair_server.dl_timer.base->cpu_base->softirq_expires_next 0-s64max
PARAM_VALUE 0 p->se.cfs_rq->rq->fair_server.inactive_timer.base 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->fair_server.inactive_timer.node.node.node.__rb_parent_color 1
PARAM_VALUE 0 p->se.cfs_rq->rq->fair_server.inactive_timer.node.node.node.rb_left 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->fair_server.inactive_timer.node.node.node.rb_right 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->fair_server.pi_se 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->fair_server.pi_se->pi_se 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->fair_server.rb_node.__rb_parent_color 1
PARAM_VALUE 0 p->se.cfs_rq->throttled_list.next 4096-ptr_max
PARAM_VALUE 0 p->signal->cgroup_threadgroup_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 p->signal->cgroup_threadgroup_rwsem.first_waiter->type 0-1
CAPPED_DATA 0 p 1
DATA_SOURCE 0 p $0
CONTAINER 0 -232-800+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 p->exit_code 0,256-65280[c]
USER_DATA 0 p->signal->group_exit_code 0,256-65280[c]