free_sched_groups 7671 kernel/sched.c 	free_sched_groups(cpu_map, tmpmask);
free_sched_groups 7723 kernel/sched.c 	free_sched_groups(cpu_map, tmpmask);