|
@@ -194,6 +194,7 @@ void cpu_hotplug_disable(void)
|
|
|
cpu_hotplug_disabled++;
|
|
|
cpu_maps_update_done();
|
|
|
}
|
|
|
+EXPORT_SYMBOL_GPL(cpu_hotplug_disable);
|
|
|
|
|
|
void cpu_hotplug_enable(void)
|
|
|
{
|
|
@@ -201,7 +202,7 @@ void cpu_hotplug_enable(void)
|
|
|
WARN_ON(--cpu_hotplug_disabled < 0);
|
|
|
cpu_maps_update_done();
|
|
|
}
|
|
|
-
|
|
|
+EXPORT_SYMBOL_GPL(cpu_hotplug_enable);
|
|
|
#endif /* CONFIG_HOTPLUG_CPU */
|
|
|
|
|
|
/* Need to know about CPUs going up/down? */
|