1/*
2 * Copyright (C) 2009 Michal Simek <monstr@monstr.eu>
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
14void machine_shutdown(void)
15{
16 pr_notice("Machine shutdown...\n");
17 while (1)
18 ;
19}
20
21void machine_halt(void)
22{
23 pr_notice("Machine halt...\n");
24 while (1)
25 ;
26}
27
28void machine_power_off(void)
29{
30 pr_notice("Machine power off...\n");
31 while (1)
32 ;
33}
34
35void 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}
43

source code of linux/arch/microblaze/kernel/reset.c