|
@@ -57,7 +57,7 @@ static const char *isa_modes[] = {
|
|
|
"ARM" , "Thumb" , "Jazelle", "ThumbEE"
|
|
|
};
|
|
|
|
|
|
-extern void setup_mm_for_reboot(char mode);
|
|
|
+extern void setup_mm_for_reboot(void);
|
|
|
|
|
|
static volatile int hlt_counter;
|
|
|
|
|
@@ -103,7 +103,7 @@ void arm_machine_restart(char mode, const char *cmd)
|
|
|
* we may need it to insert some 1:1 mappings so that
|
|
|
* soft boot works.
|
|
|
*/
|
|
|
- setup_mm_for_reboot(mode);
|
|
|
+ setup_mm_for_reboot();
|
|
|
|
|
|
/* Clean and invalidate caches */
|
|
|
flush_cache_all();
|