#include <stdint.h>

#define EOS_TIMER_ETYPE_UI      1
#define EOS_TIMER_ETYPE_EVE     2
#define EOS_TIMER_ETYPE_ECP     3
#define EOS_TIMER_ETYPE_USR     4

#define EOS_TIMER_MAX_ETYPE     8

#define EOS_TIMER_NONE          -1
#define EOS_TIMER_RTC_FREQ      32768

typedef void (*eos_timer_handler_t) (unsigned char);

int eos_timer_init(uint8_t wakeup_cause);
void eos_timer_set_handler(unsigned char evt, eos_timer_handler_t handler);

uint32_t eos_timer_get(unsigned char evt);
void eos_timer_set(unsigned char evt, uint32_t msec);
void eos_timer_clear(unsigned char evt);

void eos_time_sleep(uint32_t msec);
uint32_t eos_time_get_tick(void);
uint64_t eos_time_get_tick64(void);
uint32_t eos_time_delta_ms(uint32_t tick);