arch/microblaze/kernel/reset.c

   1 /*
   2  * Copyright (C) 2009 Michal Simek <[email protected]>
   3  * Copyright (C) 2009 PetaLogix
   4  *
   5  * This file is subject to the terms and conditions of the GNU General Public
   6  * License. See the file "COPYING" in the main directory of this archive
   7  * for more details.
   8  */
   9
  10 #include <linux/init.h>
  11 #include <linux/delay.h>
  12 #include <linux/reboot.h>
  13
  14 void machine_shutdown(void)
  15 {
  16         pr_notice("Machine shutdown...\n");
  17         while (1)
  18                 ;
  19 }
  20
  21 void machine_halt(void)
  22 {
  23         pr_notice("Machine halt...\n");
  24         while (1)
  25                 ;
  26 }
  27
  28 void machine_power_off(void)
  29 {
  30         pr_notice("Machine power off...\n");
  31         while (1)
  32                 ;
  33 }
  34
  35 void machine_restart(char *cmd)
  36 {
  37         do_kernel_restart(cmd);
  38         /* Give the restart hook 1 s to take us down */
  39         mdelay(1000);
  40         pr_emerg("Reboot failed -- System halted\n");
  41         while (1);
  42 }