2 * This file is subject to the terms and conditions of the GNU General Public
3 * License. See the file "COPYING" in the main directory of this archive
8 * Copyright (C) 1997, 1998, 1999, 2000, 06 by Ralf Baechle
9 * Copyright (C) 1999, 2000 Silicon Graphics, Inc.
11 #include <linux/compiler.h>
12 #include <linux/kernel.h>
13 #include <linux/sched.h>
14 #include <linux/timer.h>
15 #include <linux/smp.h>
16 #include <linux/mmzone.h>
17 #include <linux/nodemask.h>
22 #include <asm/reboot.h>
23 #include <asm/sgialib.h>
24 #include <asm/sn/addrs.h>
25 #include <asm/sn/agent.h>
26 #include <asm/sn/arch.h>
27 #include <asm/sn/gda.h>
29 #include "ip27-common.h"
31 void machine_restart(char *command
) __noreturn
;
32 void machine_halt(void) __noreturn
;
33 void machine_power_off(void) __noreturn
;
35 #define noreturn while(1); /* Silence gcc. */
37 /* XXX How to pass the reboot command to the firmware??? */
38 static void ip27_machine_restart(char *command
)
44 printk("Reboot started from CPU %d\n", smp_processor_id());
49 for_each_online_node(i
)
50 REMOTE_HUB_S(i
, PROMOP_REG
, PROMOP_REBOOT
);
52 LOCAL_HUB_S(NI_PORT_RESET
, NPR_PORTRESET
| NPR_LOCALRESET
);
57 static void ip27_machine_halt(void)
64 for_each_online_node(i
)
65 REMOTE_HUB_S(i
, PROMOP_REG
, PROMOP_RESTART
);
66 LOCAL_HUB_S(NI_PORT_RESET
, NPR_PORTRESET
| NPR_LOCALRESET
);
70 static void ip27_machine_power_off(void)
76 void ip27_reboot_setup(void)
78 _machine_restart
= ip27_machine_restart
;
79 _machine_halt
= ip27_machine_halt
;
80 pm_power_off
= ip27_machine_power_off
;