MAX_SCHED_DOMAINS
if (max_sched_domains > MAX_SCHED_DOMAINS) {
max_sched_domains, MAX_SCHED_DOMAINS);