11 #define NSEC_PER_SEC 1000000000ULL
16 /* Time conversino functions */
17 uint64_t time_to_world(uint64_t local);
18 uint64_t time_to_local(uint64_t world);
20 /* External time syncronization */
21 void time_ext_init(uint64_t local, uint64_t world);
22 void time_ext_sync(uint64_t local, uint64_t world);
24 /* Helper functions */
25 void time_printf(const char *label, uint64_t local);