Function timer_free

TactilityKernel/source/concurrent/timer.c:43–49

}

void timer_free(struct Timer* timer) {
    check(xPortInIsrContext() == pdFALSE);
    check(timer != NULL);
    // MAX_TICKS or a reasonable timeout for the timer command queue
    xTimerDelete(timer->handle, portMAX_DELAY);
    free(timer);
}

error_t timer_start(struct Timer* timer) {
    check(xPortInIsrContext() == pdFALSE);