1/*
2 * Reset a DECstation machine.
3 *
4 * Copyright (C) 199x  the Anonymous
5 * Copyright (C) 2001, 2002, 2003  Maciej W. Rozycki
6 */
7
8#include <asm/addrspace.h>
9#include <asm/ptrace.h>
10
11#define back_to_prom()	(((void (*)(void))KSEG1ADDR(0x1fc00000))())
12
13void dec_machine_restart(char *command)
14{
15	back_to_prom();
16}
17
18void dec_machine_halt(void)
19{
20	back_to_prom();
21}
22
23void dec_machine_power_off(void)
24{
25    /* DECstations don't have a software power switch */
26	back_to_prom();
27}
28
29void dec_intr_halt(int irq, void *dev_id, struct pt_regs *regs)
30{
31	dec_machine_halt();
32}
33