Clean up ets_printf declarations

hardware/arduino/esp8266/cores/esp8266/core_esp8266_main.cpp

@@ -86,6 +86,7 @@ static void loop_task(os_event_t *events)
     cont_run(&g_cont, &loop_wrapper);
     if (cont_check(&g_cont) != 0)
     {
+        ets_printf("\r\nheap collided with sketch stack\r\n");
         abort();
     }
 }

hardware/arduino/esp8266/cores/esp8266/debug.h

@@ -3,7 +3,6 @@
 
 #include <stddef.h>
 
-extern "C" size_t ets_printf(const char*, ...);
 #define DEBUGV ets_printf
 
 

hardware/arduino/esp8266/libraries/ESP8266WiFi/src/ESP8266WiFi.cpp

@@ -34,7 +34,6 @@ extern "C" {
 extern "C" void esp_schedule();
 extern "C" void esp_yield();
 
-
 ESP8266WiFiClass::ESP8266WiFiClass()
 {
 

hardware/arduino/esp8266/libraries/ESP8266WiFi/src/WiFiClient.cpp

@@ -22,6 +22,8 @@
 extern "C" 
 {
     #include "include/wl_definitions.h"
+    #include "osapi.h"
+    #include "ets_sys.h"
 }
 
 #include "debug.h"

hardware/arduino/esp8266/libraries/ESP8266WiFi/src/WiFiServer.cpp

@@ -19,6 +19,11 @@
 
 #define LWIP_INTERNAL
 
+extern "C" {
+    #include "osapi.h"
+    #include "ets_sys.h"
+}
+
 #include "debug.h"
 #include "ESP8266WiFi.h"
 #include "WiFiClient.h"

hardware/arduino/esp8266/libraries/Wire/utility/i2c.cpp

@@ -5,9 +5,7 @@ extern "C" {
 #include "ets_sys.h"
 #include "osapi.h"
 #include "gpio.h"
-
-size_t ets_printf(const char*, ...);
-#define DEBUGV ets_printf
+#include "debug.h"
 }
 
 static uint8_t s_sda_pin = 0;

hardware/tools/esp8266/sdk/include/ets_sys.h

@@ -101,7 +101,7 @@ char *ets_strncpy(char *dest, const char *src, size_t n);
 char *ets_strstr(const char *haystack, const char *needle);
 int ets_sprintf(char *str, const char *format, ...)  __attribute__ ((format (printf, 2, 3)));
 int os_snprintf(char *str, size_t size, const char *format, ...) __attribute__ ((format (printf, 3, 4)));
-int os_printf(const char *format, ...)  __attribute__ ((format (printf, 1, 2)));
+int ets_printf(const char *format, ...)  __attribute__ ((format (printf, 1, 2)));
 void ets_install_putc1(void* routine);
 void uart_div_modify(int no, int freq);
 void ets_isr_mask(int intr);

hardware/tools/esp8266/sdk/include/osapi.h

@@ -42,6 +42,7 @@
 #define os_timer_setfn ets_timer_setfn
 
 #define os_sprintf  ets_sprintf
+#define os_printf  ets_printf
 #define os_update_cpu_frequency ets_update_cpu_frequency
 
 #endif