destroy_sched_domain  598 kernel/sched/topology.c 		destroy_sched_domain(sd);
destroy_sched_domain  683 kernel/sched/topology.c 			destroy_sched_domain(parent);
destroy_sched_domain  691 kernel/sched/topology.c 		destroy_sched_domain(tmp);