sd_free_ctl_entry 6330 kernel/sched.c 			sd_free_ctl_entry(&entry->child);
sd_free_ctl_entry 6446 kernel/sched.c 		sd_free_ctl_entry(&sd_ctl_dir[0].child);