2 * Reset a DECstation machine.
4 * Copyright (C) 199x the Anonymous
5 * Copyright (C) 2001, 2002, 2003 Maciej W. Rozycki
7 #include <linux/interrupt.h>
8 #include <linux/linkage.h>
10 #include <asm/addrspace.h>
12 typedef void __noreturn (* noret_func_t)(void);
14 static inline void __noreturn back_to_prom(void)
16 noret_func_t func = (void *)CKSEG1ADDR(0x1fc00000);
21 void __noreturn dec_machine_restart(char *command)
26 void __noreturn dec_machine_halt(void)
31 void __noreturn dec_machine_power_off(void)
33 /* DECstations don't have a software power switch */
37 irqreturn_t dec_intr_halt(int irq, void *dev_id)