#ifndef CX_ZIVUOS_TIME_H_INCLUDED #define CX_ZIVUOS_TIME_H_INCLUDED #include "zv_types.h" typedef uint64_t zv_time_t; zv_time_t zv_platform_get_time(); #endif