void hw_AddTime(struct hwos_TimeVal *dest, struct hwos_TimeVal *src);
dest and src time stamps and stores the resulting time stamp
in dest.
struct hwos_TimeVal containing the augend;
the result of the addition will be written to this bufferstruct hwos_TimeVal containing the addend