| /* | 
 |  * Reset a DECstation machine. | 
 |  * | 
 |  * Copyright (C) 199x  the Anonymous | 
 |  * Copyright (C) 2001, 2002, 2003  Maciej W. Rozycki | 
 |  */ | 
 | #include <linux/interrupt.h> | 
 | #include <linux/linkage.h> | 
 |  | 
 | #include <asm/addrspace.h> | 
 |  | 
 | typedef void __noreturn (* noret_func_t)(void); | 
 |  | 
 | static inline void __noreturn back_to_prom(void) | 
 | { | 
 | 	noret_func_t func = (void *)CKSEG1ADDR(0x1fc00000); | 
 |  | 
 | 	func(); | 
 | } | 
 |  | 
 | void __noreturn dec_machine_restart(char *command) | 
 | { | 
 | 	back_to_prom(); | 
 | } | 
 |  | 
 | void __noreturn dec_machine_halt(void) | 
 | { | 
 | 	back_to_prom(); | 
 | } | 
 |  | 
 | void __noreturn dec_machine_power_off(void) | 
 | { | 
 |     /* DECstations don't have a software power switch */ | 
 | 	back_to_prom(); | 
 | } | 
 |  | 
 | irqreturn_t dec_intr_halt(int irq, void *dev_id) | 
 | { | 
 | 	dec_machine_halt(); | 
 | } |