2 * Reset a DECstation machine.
4 * Copyright (C) 199x the Anonymous
5 * Copyright (C) 2001, 2002, 2003 Maciej W. Rozycki
8 #include <asm/addrspace.h>
9 #include <asm/ptrace.h>
11 #define back_to_prom() (((void (*)(void))KSEG1ADDR(0x1fc00000))())
13 void dec_machine_restart(char *command)
18 void dec_machine_halt(void)
23 void dec_machine_power_off(void)
25 /* DECstations don't have a software power switch */
29 void dec_intr_halt(int irq, void *dev_id, struct pt_regs *regs)