typedef struct { hal_s32_t seconds; hal_s32_t nanoseconds; } hal_timespec;
void hal_timespec_assign(hal_timespec *t, long s, long ns); /* Assign t = {s,ns}
int hal_timespec_subtract_ns(hal_timespec *t, long ns); /* Subtract ns from t, return TRUE if not yet expired */
int hal_timespec_subtract(hal_timespec *t, const hal_timespec *u); /* Subtract u from T, return TRUE if not yet expired */
int hal_timespec_expired(hal_timespec *t); /* Return TRUE if t expired */
int hal_timespec_add_ns(hal_timespec *t, long ns)
int hal_timespec_add(hal_timespec *t, const hal_timespec *u)
int hal_timespec_compare(const hal_timespec *t, const hal_timespec *u); /* Returns -1, 0 or 1 depending on the ordering of t and u */