is_core_idle
return sd->flags & SD_SHARE_CPUCAPACITY || is_core_idle(cpu);
env->dst_core_idle = !sched_smt_active() || is_core_idle(env->dst_cpu);
!is_core_idle(cpu)) {
if (is_core_idle(cpu))
bool preferred_core = !has_idle_core || is_core_idle(cpu);
return (!sched_smt_active() || is_core_idle(cpu)) &&