__build_sched_domains 7679 kernel/sched.c return __build_sched_domains(cpu_map, NULL); __build_sched_domains 7824 kernel/sched.c __build_sched_domains(doms_new + i,