diff --git a/esp8266/esp_mphal.h b/esp8266/esp_mphal.h
index f063fb8493..b335470de7 100644
--- a/esp8266/esp_mphal.h
+++ b/esp8266/esp_mphal.h
@@ -27,9 +27,6 @@
 #ifndef _INCLUDED_MPHAL_H_
 #define _INCLUDED_MPHAL_H_
 
-// SDK functions not declared in SDK itself
-void ets_isr_mask(unsigned);
-
 void mp_hal_init(void);
 void mp_hal_rtc_init(void);
 void mp_hal_feed_watchdog(void);
diff --git a/esp8266/etshal.h b/esp8266/etshal.h
index dbbb010dac..115ff7a88d 100644
--- a/esp8266/etshal.h
+++ b/esp8266/etshal.h
@@ -3,10 +3,15 @@
 
 #include <os_type.h>
 
-void ets_isr_unmask();
+void ets_delay_us();
+void ets_intr_lock(void);
+void ets_intr_unlock(void);
+void ets_isr_mask(uint32_t mask);
+void ets_isr_unmask(uint32_t mask);
+void ets_isr_attach(int irq_no, void (*handler)(void *), void *arg);
 void ets_install_putc1();
-void ets_isr_attach();
 void uart_div_modify();
+void ets_set_idle_cb(void (*handler)(void *), void *arg);
 
 void ets_timer_arm_new(os_timer_t *tim, uint32_t millis, bool repeat, bool is_milli_timer);
 void ets_timer_setfn(os_timer_t *tim, ETSTimerFunc callback, void *cb_data);