|
@@ -180,6 +180,8 @@ void machine_restart(char *cmd)
|
|
/* Now call the architecture specific reboot code. */
|
|
/* Now call the architecture specific reboot code. */
|
|
if (arm_pm_restart)
|
|
if (arm_pm_restart)
|
|
arm_pm_restart(reboot_mode, cmd);
|
|
arm_pm_restart(reboot_mode, cmd);
|
|
|
|
+ else
|
|
|
|
+ do_kernel_restart(cmd);
|
|
|
|
|
|
/*
|
|
/*
|
|
* Whoops - the architecture was unable to reboot.
|
|
* Whoops - the architecture was unable to reboot.
|