syscalls.h File Reference

L4 System calls (except for IPC). More...

#include <l4/sys/syscalls_gen.h>
#include <l4/sys/syscall-invoke.h>
#include <l4/sys/syscalls-impl.h>

Go to the source code of this file.

Defines
#define	GCC_VERSION   (__GNUC__ * 100 + __GNUC_MINOR__)
	GCC version as one figure (e.g. 402 for gcc-4.2).
Functions
void *	l4_kernel_interface (void)
	Return pointer to Kernel Interface Page.

---

Detailed Description

L4 System calls (except for IPC).

Definition in file ARCH-x86/L4API-l4v2/syscalls.h.