Equivalente en ESP-IDF de millis() de Arduino

En Arduino, la función millis() devuelve el número de milisegundos desde que el programa empezó. En ESP-IDF, puedes lograr la misma funcionalidad usando la función esp_timer_get_time(), que devuelve el tiempo en microsegundos. Para convertirlo a milisegundos, necesitas dividir por 1000.

#include <esp_timer.h>

uint32_t millis() {
    return esp_timer_get_time() / 1000;
}

// Ejemplo de uso
void myFunc() {
    uint32_t currentMillis = millis();
    // Usar currentMillis según sea necesario
}