dirty_sched_domain_sysctl 1454 kernel/sched/sched.h void dirty_sched_domain_sysctl(int cpu);
dirty_sched_domain_sysctl  701 kernel/sched/topology.c 	dirty_sched_domain_sysctl(cpu);