1 // SPDX-License-Identifier: GPL-2.0 1
2 /*
3 * Reset a DECstation machine.
4 *
5 * Copyright (C) 199x the Anonymous
6 * Copyright (C) 2001, 2002, 2003 Maciej W. R
7 */
8 #include <linux/interrupt.h>
9 #include <linux/linkage.h>
10
11 #include <asm/addrspace.h>
12
13 typedef void __noreturn (* noret_func_t)(void)
14
15 static inline void __noreturn back_to_prom(voi
16 {
17 noret_func_t func = (void *)CKSEG1ADDR
18
19 func();
20 }
21
22 void __noreturn dec_machine_restart(char *comm
23 {
24 back_to_prom();
25 }
26
27 void __noreturn dec_machine_halt(void)
28 {
29 back_to_prom();
30 }
31
32 void __noreturn dec_machine_power_off(void)
33 {
34 /* DECstations don't have a software power
35 back_to_prom();
36 }
37
38 irqreturn_t dec_intr_halt(int irq, void *dev_i
39 {
40 dec_machine_halt();
41 }
42
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.