int sysfs_read_float (const char path[PATH_MAX], float *value);
int sysfs_write_float(const char path[PATH_MAX], float value);
+int sysfs_read_uint64(const char path[PATH_MAX], uint64_t *value);
+
void set_timestamp (struct timespec *out, int64_t target_ns);
int64_t get_timestamp_boot (void);