Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/sched/fair.c detach_one_task() -> detach_task()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->on_cpu 0
PARAM_VALUE 1 env 1229077495644188672
PARAM_VALUE 1 env->cpus 0
PARAM_VALUE 1 env->dst_cpu 0-s32max
PARAM_VALUE 1 env->dst_grpmask 0
PARAM_VALUE 1 env->fbq_type 0
PARAM_VALUE 1 env->flags 0,2-u32max
PARAM_VALUE 1 env->idle 1
PARAM_VALUE 1 env->imbalance 0
PARAM_VALUE 1 env->loop 0
PARAM_VALUE 1 env->loop_max 0
PARAM_VALUE 1 env->migration_type 0
PARAM_VALUE 1 env->new_dst_cpu 0-8192
PARAM_VALUE 1 env->sd 1-u64max
PARAM_VALUE 1 env->src_rq 4096-ptr_max
CAPPED_DATA 0 p 1
CAPPED_DATA 0 &p->se.group_node 1
CAPPED_DATA 1 env->dst_cpu 1
CAPPED_DATA 1 &env->src_rq->cfs_tasks 1
DATA_SOURCE 1 env $0
PARAM_COMPARE 0 p != $1->src_rq->donor
PARAM_COMPARE 1 env->src_rq->donor != $0
NOCHECK_CALL
LOCK2 busiest_rq
LOCK2 irq
LOCK2 rcu_read

kernel/sched/fair.c detach_tasks() -> detach_task()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->on_cpu 0
PARAM_VALUE 0 p->sched_class->dequeue_task 0,4096-ptr_max
PARAM_VALUE 1 env 2092772904355569664
PARAM_VALUE 1 env->cpus 0
PARAM_VALUE 1 env->dst_cpu 0-s32max
PARAM_VALUE 1 env->fbq_type 0-2
PARAM_VALUE 1 env->flags 0,2-u32max
PARAM_VALUE 1 env->idle 0-255
PARAM_VALUE 1 env->loop 0-32
PARAM_VALUE 1 env->loop_max 2-32
PARAM_VALUE 1 env->migration_type 0-4
PARAM_VALUE 1 env->new_dst_cpu s32min-(-2),0-s32max
PARAM_VALUE 1 env->sd 4096-ptr_max
PARAM_VALUE 1 env->src_rq 4096-ptr_max
PARAM_VALUE 1 env->src_rq->donor->dl.dl_timer.base->cpu_base->expires_next 0-s64max
PARAM_VALUE 1 env->src_rq->donor->dl.dl_timer.base->cpu_base->softirq_expires_next 0-s64max
PARAM_VALUE 1 env->tasks.next 4096-ptr_max
PARAM_VALUE 1 env->tasks.prev 2092772904355569760
CAPPED_DATA 0 p 1
CAPPED_DATA 1 env->dst_cpu 1
CAPPED_DATA 1 env->loop 1
DATA_SOURCE 1 env $0
PARAM_COMPARE 0 p != $1->src_rq->donor
PARAM_COMPARE 1 env->loop <= $1->loop_break
PARAM_COMPARE 1 env->loop <= $1->loop_max
PARAM_COMPARE 1 env->src_rq->donor != $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 busiest
LOCK2 rf.flags
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read