Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/core.c proxy_migrate_task() -> proxy_set_task_cpu()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->blocked_donor 0,4096-ptr_max
PARAM_VALUE 0 p->blocked_on 4096-ptr_max
PARAM_VALUE 0 p->dl.dl_bw 0
PARAM_VALUE 0 p->dl.dl_deadline 0
PARAM_VALUE 0 p->dl.dl_defer 0
PARAM_VALUE 0 p->dl.dl_defer_armed 0
PARAM_VALUE 0 p->dl.dl_defer_running 0
PARAM_VALUE 0 p->dl.dl_density 0
PARAM_VALUE 0 p->dl.dl_overrun 0
PARAM_VALUE 0 p->dl.dl_period 0
PARAM_VALUE 0 p->dl.dl_server 0
PARAM_VALUE 0 p->dl.dl_throttled 0
PARAM_VALUE 0 p->dl.dl_yielded 0
PARAM_VALUE 0 p->dl.flags 0,268435456-u32max
PARAM_VALUE 0 p->dl.inactive_timer.base->active.rb_root.rb_leftmost->node.__rb_parent_color 1
PARAM_VALUE 0 p->dl.inactive_timer.is_queued 1
PARAM_VALUE 0 p->dl.inactive_timer.node.expires 0-s64max
PARAM_VALUE 0 p->dl.pi_se 4096-ptr_max
PARAM_VALUE 0 p->dl.pi_se->dl_bw 0
PARAM_VALUE 0 p->dl.pi_se->dl_deadline 0
PARAM_VALUE 0 p->dl.pi_se->dl_defer 0
PARAM_VALUE 0 p->dl.pi_se->dl_defer_armed 0
PARAM_VALUE 0 p->dl.pi_se->dl_defer_running 0
PARAM_VALUE 0 p->dl.pi_se->dl_density 0
PARAM_VALUE 0 p->dl.pi_se->dl_non_contending 0
PARAM_VALUE 0 p->dl.pi_se->dl_overrun 0
PARAM_VALUE 0 p->dl.pi_se->dl_period 0
PARAM_VALUE 0 p->dl.pi_se->dl_runtime 0
PARAM_VALUE 0 p->dl.pi_se->dl_server 0
PARAM_VALUE 0 p->dl.pi_se->dl_throttled 0
PARAM_VALUE 0 p->dl.pi_se->dl_yielded 0
PARAM_VALUE 0 p->dl.pi_se->flags 0
PARAM_VALUE 0 p->dl.pi_se->pi_se 4096-ptr_max
PARAM_VALUE 0 p->dl.rb_node.rb_right 0,4096-ptr_max
PARAM_VALUE 0 p->is_blocked 1-255
PARAM_VALUE 0 p->pushable_dl_tasks.rb_right 0,4096-ptr_max
PARAM_VALUE 0 p->pushable_tasks.node_list.next->prev 4096-ptr_max
PARAM_VALUE 0 p->pushable_tasks.node_list.prev->next 4096-ptr_max
PARAM_VALUE 0 p->pushable_tasks.prio_list.next->next 4096-ptr_max
PARAM_VALUE 0 p->pushable_tasks.prio_list.prev->next 4096-ptr_max
PARAM_VALUE 0 p->rt.run_list.next->next 4096-ptr_max
PARAM_VALUE 0 p->rt.run_list.next->prev 4096-ptr_max
PARAM_VALUE 0 p->rt.run_list.prev->next 4096-ptr_max
PARAM_VALUE 0 p->rt.run_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 p->sched_class 4096-ptr_max
PARAM_VALUE 0 p->sched_class->dequeue_task 4096-ptr_max
PARAM_VALUE 0 p->sched_info.last_queued 0
PARAM_VALUE 0 p->sched_info.max_run_delay 1-u64max
PARAM_VALUE 0 p->sched_info.max_run_delay_ts.tv_nsec 0-999999999
PARAM_VALUE 0 p->sched_info.min_run_delay 1-u64max
PARAM_VALUE 0 p->se.cfs_rq->pelt_clock_throttled 1
PARAM_VALUE 0 p->se.cfs_rq->propagate 1
PARAM_VALUE 0 p->se.cfs_rq->removed.load_avg 0
PARAM_VALUE 0 p->se.cfs_rq->removed.lock.dep_map->name 0-255
PARAM_VALUE 0 p->se.cfs_rq->removed.lock.owner (-1)
PARAM_VALUE 0 p->se.cfs_rq->removed.lock.owner_cpu u32max
PARAM_VALUE 0 p->se.cfs_rq->removed.nr 0
PARAM_VALUE 0 p->se.cfs_rq->removed.runnable_avg 0
PARAM_VALUE 0 p->se.cfs_rq->removed.util_avg 0
PARAM_VALUE 0 p->se.cfs_rq->rq->leaf_cfs_rq_list.prev 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->leaf_cfs_rq_list.prev->next 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->tmp_alone_branch 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->tmp_alone_branch->next 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->tmp_alone_branch->next->prev 4096-ptr_max
PARAM_VALUE 0 p->se.cfs_rq->rq->tmp_alone_branch->prev 4096-ptr_max
PARAM_VALUE 0 p->se.group_node.next->next 4096-ptr_max
PARAM_VALUE 0 p->se.group_node.next->prev 4096-ptr_max
PARAM_VALUE 0 p->se.group_node.prev->next 4096-ptr_max
PARAM_VALUE 0 p->se.group_node.prev->prev 4096-ptr_max
PARAM_VALUE 0 p->se.my_q->prop_runnable_sum 0
PARAM_VALUE 0 p->se.my_q->propagate 0
PARAM_VALUE 0 p->se.sched_delayed 1
PARAM_VALUE 0 p->throttle_node.next 4096-ptr_max
PARAM_VALUE 0 p->throttle_node.next->next 4096-ptr_max
PARAM_VALUE 0 p->throttle_node.next->prev 4096-ptr_max
PARAM_VALUE 0 p->throttle_node.prev 4096-ptr_max
PARAM_VALUE 0 p->throttle_node.prev->next 4096-ptr_max
PARAM_VALUE 0 p->throttle_node.prev->prev 4096-ptr_max
CAPPED_DATA 0 p 1
DATA_SOURCE 0 p $2
DATA_SOURCE 1 cpu $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte
LOCK2 irq