<< Back to Codezero API Reference
int l4_time(void *timeval, int set);
System time is read in the timeval argument field.
If set argument is a non-zero value, system time is set using the values in timeval
Currently setting the time feature is disabled.
Currently the system time is returned since the system has started rather than a set date.
struct timeval {
int tv_sec; /* Time in seconds */
int tv_usec; /* Time in microseconds */
};