/* * 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>#include <asm/ptrace.h>typedef void ATTRIB_NORET (* noret_func_t)(void);static inline void ATTRIB_NORET back_to_prom(void){	noret_func_t func = (void *) KSEG1ADDR(0x1fc00000);	func();}void ATTRIB_NORET dec_machine_restart(char *command){	back_to_prom();}void ATTRIB_NORET dec_machine_halt(void){	back_to_prom();}void ATTRIB_NORET 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, struct pt_regs *regs){	dec_machine_halt();}