partition_sched_domains 841 include/linux/sched.h partition_sched_domains(int ndoms_new, cpumask_t *doms_new, partition_sched_domains 7784 kernel/sched.c void partition_sched_domains(int ndoms_new, cpumask_t *doms_new,