diff options
-rw-r--r-- | arch/cris/kernel/process.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/arch/cris/kernel/process.c b/arch/cris/kernel/process.c index 9f7cad7c7849..7645c4d4de6f 100644 --- a/arch/cris/kernel/process.c +++ b/arch/cris/kernel/process.c | |||
@@ -113,6 +113,7 @@ | |||
113 | #include <linux/user.h> | 113 | #include <linux/user.h> |
114 | #include <linux/elfcore.h> | 114 | #include <linux/elfcore.h> |
115 | #include <linux/mqueue.h> | 115 | #include <linux/mqueue.h> |
116 | #include <linux/reboot.h> | ||
116 | 117 | ||
117 | //#define DEBUG | 118 | //#define DEBUG |
118 | 119 | ||
@@ -208,7 +209,7 @@ void cpu_idle (void) | |||
208 | 209 | ||
209 | void hard_reset_now (void); | 210 | void hard_reset_now (void); |
210 | 211 | ||
211 | void machine_restart(void) | 212 | void machine_restart(char *cmd) |
212 | { | 213 | { |
213 | hard_reset_now(); | 214 | hard_reset_now(); |
214 | } | 215 | } |