43 #ifndef TIME_KEEPER_H_
44 #define TIME_KEEPER_H_
53 #define TK_AST_FREQUENCY 1000000
54 #define AST_PRESCALER_SETTING 5
59 void time_keeper_init(
void);
66 double time_keeper_get_time(
void);
73 uint32_t time_keeper_get_millis(
void);
82 uint32_t time_keeper_get_micros(
void);
89 uint32_t time_keeper_get_time_ticks(
void);
98 float time_keeper_ticks_to_seconds(uint32_t timer_ticks);
105 void time_keeper_delay_micros(int32_t microseconds);
112 void time_keeper_delay_until(uint32_t until_time);