The x-kernel uses the same time structure as Unix:
Sets *t to the current time of day:
void xGetTime (XTime * t)
Sets the res to the sum of t1 and t2.
Assumes t1 and t2 are in standard time format (i.e., does not
check for integer overflow of the usec value.)
void xAddTime
(XTime * res, XTime t1, XTime t2)
xGetTime
xAddTime
xSubTime