cpu_to_cpu_group 7484 kernel/sched.c cpu_to_cpu_group(i, cpu_map, &sd->groups, tmpmask); cpu_to_cpu_group 7500 kernel/sched.c &cpu_to_cpu_group,