#if defined(EGGDUINO_WINDOWS_BUILD_FIXES)
#include <ArduinoEsp32Compat.h>

#if defined(ESP32) && EGGDUINO_LEGACY_ARDUINO_ESP32
#include <esp_timer.h>

int esp_timer_is_active(esp_timer_handle_t timer)
{
    (void)timer;
    return 0;
}
#endif
#endif
