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>
11 #include <asm/ptrace.h>
13 typedef void ATTRIB_NORET (* noret_func_t
)(void);
15 static inline void ATTRIB_NORET
back_to_prom(void)
17 noret_func_t func
= (void *) KSEG1ADDR(0x1fc00000);
22 void ATTRIB_NORET
dec_machine_restart(char *command
)
27 void ATTRIB_NORET
dec_machine_halt(void)
32 void ATTRIB_NORET
dec_machine_power_off(void)
34 /* DECstations don't have a software power switch */
38 irqreturn_t
dec_intr_halt(int irq
, void *dev_id
, struct pt_regs
*regs
)