Function free_timer

src/platforms/esp/32/isr_esp32_idf3.hpp:120–124

* Free a previously allocated timer */

 * Free a previously allocated timer
 */
static void free_timer(timer_group_t group, timer_idx_t idx) FL_NOEXCEPT {
    portENTER_CRITICAL(&timer_alloc_mutex);
    timer_allocated[group][idx] = false;
    portEXIT_CRITICAL(&timer_alloc_mutex);
}

// =============================================================================
// Timer ISR Wrapper