cuos/time.h: System and process time and related.
[cuos: Interface to the Operating System]

Functions
double	cuos_time_utc (void)
double	cuos_time_proc (void)
double	cuos_sleep (double)