--- zzzz-none-000/linux-3.10.107/arch/arm/mach-ep93xx/include/mach/platform.h	2017-06-27 09:49:32.000000000 +0000
+++ scorpion-7490-727/linux-3.10.107/arch/arm/mach-ep93xx/include/mach/platform.h	2021-02-04 17:41:59.000000000 +0000
@@ -4,6 +4,9 @@
 
 #ifndef __ASSEMBLY__
 
+#include <linux/reboot.h>
+
+struct device;
 struct i2c_gpio_platform_data;
 struct i2c_board_info;
 struct spi_board_info;
@@ -52,10 +55,10 @@
 int ep93xx_ide_acquire_gpio(struct platform_device *pdev);
 void ep93xx_ide_release_gpio(struct platform_device *pdev);
 
-void ep93xx_init_devices(void);
+struct device *ep93xx_init_devices(void);
 extern void ep93xx_timer_init(void);
 
-void ep93xx_restart(char, const char *);
+void ep93xx_restart(enum reboot_mode, const char *);
 void ep93xx_init_late(void);
 
 #ifdef CONFIG_CRUNCH