Function free_timer

src/platforms/esp/32/isr_esp32_idf4.hpp:121–125

* Free a previously allocated timer */

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

// =============================================================================
// Timer Callback Wrapper