Defined in 2 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 dst_cpu s32min-(-2),0-s32max
DATA_SOURCE 0 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