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 */