frame_timer_backend.h

Go to the documentation of this file.

#ifndef FRAME_TIMER_BACKEND_H
#define FRAME_TIMER_BACKEND_H

#include <stdint.h>
#include <stdbool.h>

#ifdef __DOXYGEN__

#define FRAME_TIMER_RESOLUTION
#elif !defined(FRAME_TIMER_RESOLUTION)
#warning FRAME_TIMER_RESOLUTION not defined
typedef unsigned int timer_count_t;
typedef signed int timer_diff_t;
#elif FRAME_TIMER_RESOLUTION < 32
typedef uint64_t timer_count_t;
typedef int64_t timer_diff_t;
#elif FRAME_TIMER_RESOLUTION < 16
typedef uint32_t timer_count_t;
typedef int32_t timer_diff_t;
#else
typedef uint16_t timer_count_t;
typedef int16_t timer_diff_t;
#endif


void init_frame_timer_backend(void (*timer_callback)());

int8_t get_counter_direction();

timer_count_t get_counts_max();

timer_count_t get_counts_current();

void correct_counts_max(timer_diff_t diff);


#endif //FRAME_TIMER_BACKEND_H