/*
 * 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();
}