diff --git a/esp8266/esp_init_data.c b/esp8266/esp_init_data.c
index b229f751dade0434c68c757b95b5eed7d28011d2..b14de573a76d0c6d9c682ada872780f9999e48e3 100644
--- a/esp8266/esp_init_data.c
+++ b/esp8266/esp_init_data.c
@@ -31,9 +31,6 @@
 #include "user_interface.h"
 #include "extmod/misc.h"
 
-uint32_t SPIRead(uint32_t offset, void *buf, uint32_t len);
-uint32_t SPIWrite(uint32_t offset, const void *buf, uint32_t len);
-uint32_t SPIEraseSector(int sector);
 NORETURN void call_user_start(void);
 void ets_printf(const char *fmt, ...);
 extern char flashchip;
diff --git a/esp8266/etshal.h b/esp8266/etshal.h
index 8584ae4d1d95aa281c153b059b3648c152f932c3..28f9777919c82421eaaa75fb62ad21f3902d6827 100644
--- a/esp8266/etshal.h
+++ b/esp8266/etshal.h
@@ -36,4 +36,8 @@ void *pvPortZalloc(unsigned sz, const char *fname, int line);
 void *pvPortRealloc(void *p, unsigned sz, const char *fname, int line);
 void vPortFree(void *p, const char *fname, int line);
 
+uint32_t SPIRead(uint32_t offset, void *buf, uint32_t len);
+uint32_t SPIWrite(uint32_t offset, const void *buf, uint32_t len);
+uint32_t SPIEraseSector(int sector);
+
 #endif // _INCLUDED_ETSHAL_H_