18 FW_ASSERT(clock_gettime(CLOCK_REALTIME,&t) == 0,errno);
19 time.upper = t.tv_sec;
20 time.lower = t.tv_nsec;
26 RawTime result = {t1In.upper - t2In.upper, 0};
27 if (t1In.lower < t2In.lower) {
29 result.lower = t1In.lower + (1000000000 - t2In.lower);
31 result.lower = t1In.lower - t2In.lower;
33 return (result.upper * 1000000) + (result.lower / 1000);
static void getRawTime(RawTime &time)