unregister_sched_domain_sysctl 7735 kernel/sched.c 	unregister_sched_domain_sysctl();
unregister_sched_domain_sysctl 7792 kernel/sched.c 	unregister_sched_domain_sysctl();