|
@@ -324,7 +324,6 @@ void kernel_restart_prepare(char *cmd)
|
|
|
system_state = SYSTEM_RESTART;
|
|
|
usermodehelper_disable();
|
|
|
device_shutdown();
|
|
|
- syscore_shutdown();
|
|
|
}
|
|
|
|
|
|
/**
|
|
@@ -370,6 +369,7 @@ void kernel_restart(char *cmd)
|
|
|
{
|
|
|
kernel_restart_prepare(cmd);
|
|
|
disable_nonboot_cpus();
|
|
|
+ syscore_shutdown();
|
|
|
if (!cmd)
|
|
|
printk(KERN_EMERG "Restarting system.\n");
|
|
|
else
|
|
@@ -395,6 +395,7 @@ static void kernel_shutdown_prepare(enum system_states state)
|
|
|
void kernel_halt(void)
|
|
|
{
|
|
|
kernel_shutdown_prepare(SYSTEM_HALT);
|
|
|
+ disable_nonboot_cpus();
|
|
|
syscore_shutdown();
|
|
|
printk(KERN_EMERG "System halted.\n");
|
|
|
kmsg_dump(KMSG_DUMP_HALT);
|