select_idle_cpu
i = select_idle_cpu(p, sd, has_idle_core, target);
DEFINE_SDT_STAT(select_idle_cpu);
__sync_fetch_and_add(&stat_select_idle_cpu, stats->select_idle_cpu);
__u64 select_idle_cpu;