Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/sched/fair.c migrate_degrades_llc() -> can_migrate_llc_task()

Type Parameter Key Value
PARAM_VALUE 1 dst_cpu 0-s32max
PARAM_VALUE 2 p 4096-ptr_max
PARAM_VALUE 2 p->cpus_ptr->bits 4096-ptr_max
PARAM_VALUE 2 p->on_cpu 0
PARAM_VALUE 2 p->sched_class->dequeue_task 0,4096-ptr_max
PARAM_VALUE 2 p->sched_task_hot 0
CAPPED_DATA 2 p 1
CAPPED_DATA 2 p->numa_group 1
DATA_SOURCE 2 p $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 busiest
HALF_LOCKED2 busiest_rq
HALF_LOCKED2 irq
HALF_LOCKED2 rcu_read
HALF_LOCKED2 rf.flags