|
|
@ -37,6 +37,12 @@ void ets_timer_setfn(ETSTimer *t, ETSTimerFunc *fn, void *parg); |
|
|
|
|
|
|
|
|
|
|
|
void ets_update_cpu_frequency(int freqmhz); |
|
|
|
void ets_update_cpu_frequency(int freqmhz); |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
#ifdef SDK_DBG |
|
|
|
|
|
|
|
#define DEBUG_SDK true |
|
|
|
|
|
|
|
#else |
|
|
|
|
|
|
|
#define DEBUG_SDK false |
|
|
|
|
|
|
|
#endif |
|
|
|
|
|
|
|
|
|
|
|
int os_printf(const char *format, ...) __attribute__ ((format (printf, 1, 2))); |
|
|
|
int os_printf(const char *format, ...) __attribute__ ((format (printf, 1, 2))); |
|
|
|
int os_snprintf(char *str, size_t size, const char *format, ...) __attribute__ ((format (printf, 3, 4))); |
|
|
|
int os_snprintf(char *str, size_t size, const char *format, ...) __attribute__ ((format (printf, 3, 4))); |
|
|
|
int os_printf_plus(const char *format, ...) __attribute__ ((format (printf, 1, 2))); |
|
|
|
int os_printf_plus(const char *format, ...) __attribute__ ((format (printf, 1, 2))); |
|
|
|