#ifndef _TZ_TIME_H_
#define _TZ_TIME_H_

#include <stdint.h>


uint64_t tz_get_timestamp(void);

#endif // _TZ_TIME_H_