unregister_sched_domain_sysctl 1455 kernel/sched/sched.h void unregister_sched_domain_sysctl(void);
unregister_sched_domain_sysctl 2231 kernel/sched/topology.c 	unregister_sched_domain_sysctl();