Symbol: destroy_sched_domain
kernel/sched/topology.c
644
destroy_sched_domain(sd);
kernel/sched/topology.c
747
destroy_sched_domain(parent);
kernel/sched/topology.c
755
destroy_sched_domain(tmp);