/* Initialization */
void time_init(void);
-/* Time conversino functions */
+/* Time conversion functions */
uint64_t time_to_world(uint64_t local);
uint64_t time_to_local(uint64_t world);
-/* External time syncronization */
+/* External time synchronization */
void time_ext_init(uint64_t local, uint64_t world);
void time_ext_sync(uint64_t local, uint64_t world);