diff options
| -rw-r--r-- | arch/mips64/sgi-ip27/ip27-reset.c | 21 |
1 files changed, 20 insertions, 1 deletions
diff --git a/arch/mips64/sgi-ip27/ip27-reset.c b/arch/mips64/sgi-ip27/ip27-reset.c index fade7ed76..388fb6026 100644 --- a/arch/mips64/sgi-ip27/ip27-reset.c +++ b/arch/mips64/sgi-ip27/ip27-reset.c @@ -9,15 +9,22 @@ * Copyright (C) 1997, 1998, 1999 by Ralf Baechle * Copyright (C) 1999 Silicon Graphics, Inc. */ +#include <linux/config.h> #include <linux/kernel.h> #include <linux/sched.h> #include <linux/timer.h> +#include <linux/smp.h> +#include <linux/mmzone.h> #include <asm/io.h> #include <asm/irq.h> #include <asm/system.h> #include <asm/sgialib.h> #include <asm/sgi/sgihpc.h> #include <asm/sgi/sgint23.h> +#include <asm/sn/addrs.h> +#include <asm/sn/arch.h> +#include <asm/sn/gda.h> +#include <asm/sn/sn0/hub.h> void machine_restart(char *command) __attribute__((noreturn)); void machine_halt(void) __attribute__((noreturn)); @@ -26,7 +33,19 @@ void machine_power_off(void) __attribute__((noreturn)); /* XXX How to pass the reboot command to the firmware??? */ void machine_restart(char *command) { - ArcReboot(); + int i; + + printk("Reboot started from CPU %d\n", smp_processor_id()); +#ifdef CONFIG_SMP + smp_send_stop(); +#endif +#if 0 + for (i = 0; i < numnodes; i++) + REMOTE_HUB_S(COMPACT_TO_NASID_NODEID(i), PROMOP_REG, + PROMOP_RESTART); +#else + LOCAL_HUB_S(NI_PORT_RESET, NPR_PORTRESET | NPR_LOCALRESET); +#endif } void machine_halt(void) |