Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/fair.c can_migrate_task() -> task_hot()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->cpus_ptr->bits 4096-ptr_max
PARAM_VALUE 0 p->on_cpu 0
PARAM_VALUE 0 p->sched_class->dequeue_task 0,4096-ptr_max
PARAM_VALUE 0 p->sched_task_hot 0
PARAM_VALUE 1 env 1229077495644188672,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->imbalance 0-s64max
PARAM_VALUE 1 env->loop 0-32
PARAM_VALUE 1 env->loop_break 0,32-u32max
PARAM_VALUE 1 env->loop_max 0,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.prev 0,2092772904355569760
CAPPED_DATA 0 p 1
CAPPED_DATA 0 p->numa_group 1
CAPPED_DATA 1 env->dst_cpu 1
CAPPED_DATA 1 env->imbalance 1
CAPPED_DATA 1 env->loop 1
DATA_SOURCE 0 p $0
DATA_SOURCE 1 env $1
FUZZY_MAX 1 env->imbalance 1
PARAM_COMPARE 0 p != $1->src_rq->donor
PARAM_COMPARE 1 env->src_rq->donor != $0
BIT_INFO 1 env->flags 0x0,0xffffffee
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 busiest
HALF_LOCKED2 busiest_rq
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read
HALF_LOCKED2 rf.flags