cpu_to_core_group 7472 kernel/sched.c 		cpu_to_core_group(i, cpu_map, &sd->groups, tmpmask);
cpu_to_core_group 7517 kernel/sched.c 					&cpu_to_core_group,