mirror of
https://github.com/drasko/codezero.git
synced 2026-01-12 19:03:15 +01:00
45 lines
1.2 KiB
Groff
Executable File
45 lines
1.2 KiB
Groff
Executable File
.TH L4_TIME 7 2009-11-07 "Codezero" "Codezero Programmer's Manual"
|
|
.SH NAME
|
|
.nf
|
|
.BR "l4_time" " - sets or reads system time."
|
|
|
|
.SH SYNOPSIS
|
|
.nf
|
|
.B #include <l4lib/arch/syscalls.h>
|
|
.B #include <l4lib/arch/syslib.h>
|
|
|
|
.BI "int l4_time(struct timeval *" "timeval" ", int " "set" ");"
|
|
|
|
.SH DESCRIPTION
|
|
.BR "l4_time() " "sets or reads system time. "
|
|
|
|
.IR "timeval " "field is the representation of time since the system has started running. See below for details."
|
|
|
|
.IR "set " " field instructs whether the time is to be read or set to the values specified in the " "timeval " "field supplied."
|
|
|
|
.nf
|
|
.B struct timeval {
|
|
.BI " int " "tv_sec;" " /* Time value in seconds */ "
|
|
.BI " int " "tv_usec;" " /* Time value in microseconds */ "
|
|
.B };
|
|
.fi
|
|
|
|
.SH LIMITATIONS
|
|
- Currently setting the time feature is disabled.
|
|
|
|
- Currently the system time is returned since the system has started rather than a set date.
|
|
|
|
- Currently this system call is not subject to capabilities.
|
|
|
|
.SH ERRORS
|
|
.TP
|
|
.B -EFAULT
|
|
.IR "timeval " "field would cause an unhandled page fault."
|
|
.TP
|
|
.B -EBUSY
|
|
Timer structures in the system are currently being used.
|
|
.TP
|
|
.B -ENOSYS
|
|
Operation of given type is not supported.
|
|
|