T-Kernel Specification (1.B0.02)

System Call Notation
In the parts of this specification that describe system calls, the specification of each system call is
explained in the format illustrated below.
System call name
Summary description
Summary description
[C Language Interface]
Indicates the C language interface for invoking the system call.
[Parameters]
Describes the system call parameters, that is, the information passed to the OS when the system call is
executed.
[Return Parameters]
Describes the system call return parameters, that is, the information returned by the OS when execution
of the system call ends.
[Error Codes]
Describes the errors that can be returned by the system call.
• The following error codes are common to all system calls and are not included in the error code
listings for each system call.
E SYS, E NOSPT, E RSFN, E MACV, E OACV
• Error code E CTX is included in the error code listings for individual system calls only when the
conditions for its occurrence are clear (e.g., system calls that enter WAIT state). Depending on
the implementation, however, the E CTX error code may be returned by other system calls as well.
The implementation-specific occurrences of E CTX are not included in the error code specifications
for individual system calls.
xv