arch_reinit_sched_domains  834 include/linux/sched.h extern int arch_reinit_sched_domains(void);
arch_reinit_sched_domains 7869 kernel/sched.c 	ret = arch_reinit_sched_domains();