#ifndef CX_ZIVUOS_TIME_H_INCLUDED
#define CX_ZIVUOS_TIME_H_INCLUDED

#include "zv_types.h"

typedef uint64_t zv_time_t;
typedef uint32_t zv_ticks_t;

void zv_platform_init(void);
zv_time_t zv_platform_get_time(void);
zv_ticks_t zv_platform_get_ticks(void);
zv_ticks_t zv_platform_get_time_us(void);

#endif