diff options
Diffstat (limited to 'arch/mips/sgi-ip27')
-rw-r--r-- | arch/mips/sgi-ip27/ip27-reset.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/arch/mips/sgi-ip27/ip27-reset.c b/arch/mips/sgi-ip27/ip27-reset.c index ac37e54b3d5e..e44a15d4f573 100644 --- a/arch/mips/sgi-ip27/ip27-reset.c +++ b/arch/mips/sgi-ip27/ip27-reset.c | |||
@@ -8,6 +8,7 @@ | |||
8 | * Copyright (C) 1997, 1998, 1999, 2000, 06 by Ralf Baechle | 8 | * Copyright (C) 1997, 1998, 1999, 2000, 06 by Ralf Baechle |
9 | * Copyright (C) 1999, 2000 Silicon Graphics, Inc. | 9 | * Copyright (C) 1999, 2000 Silicon Graphics, Inc. |
10 | */ | 10 | */ |
11 | #include <linux/compiler.h> | ||
11 | #include <linux/kernel.h> | 12 | #include <linux/kernel.h> |
12 | #include <linux/sched.h> | 13 | #include <linux/sched.h> |
13 | #include <linux/timer.h> | 14 | #include <linux/timer.h> |
@@ -25,9 +26,9 @@ | |||
25 | #include <asm/sn/gda.h> | 26 | #include <asm/sn/gda.h> |
26 | #include <asm/sn/sn0/hub.h> | 27 | #include <asm/sn/sn0/hub.h> |
27 | 28 | ||
28 | void machine_restart(char *command) __attribute__((noreturn)); | 29 | void machine_restart(char *command) __noreturn; |
29 | void machine_halt(void) __attribute__((noreturn)); | 30 | void machine_halt(void) __noreturn; |
30 | void machine_power_off(void) __attribute__((noreturn)); | 31 | void machine_power_off(void) __noreturn; |
31 | 32 | ||
32 | #define noreturn while(1); /* Silence gcc. */ | 33 | #define noreturn while(1); /* Silence gcc. */ |
33 | 34 | ||