|
@@ -5311,8 +5311,7 @@ static void register_sched_domain_sysctl(void)
|
|
|
/* may be called multiple times per register */
|
|
/* may be called multiple times per register */
|
|
|
static void unregister_sched_domain_sysctl(void)
|
|
static void unregister_sched_domain_sysctl(void)
|
|
|
{
|
|
{
|
|
|
- if (sd_sysctl_header)
|
|
|
|
|
- unregister_sysctl_table(sd_sysctl_header);
|
|
|
|
|
|
|
+ unregister_sysctl_table(sd_sysctl_header);
|
|
|
sd_sysctl_header = NULL;
|
|
sd_sysctl_header = NULL;
|
|
|
if (sd_ctl_dir[0].child)
|
|
if (sd_ctl_dir[0].child)
|
|
|
sd_free_ctl_entry(&sd_ctl_dir[0].child);
|
|
sd_free_ctl_entry(&sd_ctl_dir[0].child);
|