ipc.h File Reference

L4 IPC System Calls, amd64. More...

#include <l4/sys/types.h>
#include <l4/sys/ipc-invoke.h>
#include <l4/sys/ipc-impl.h>

Go to the source code of this file.

Defines
#define	L4_IPC_IOMAPMSG_BASE   0xfffffffff0000000
	I/O mapmsg base.
#define	L4_IPC_CAPMAPMSG_BASE   0xfffffffff0000100
	Capability mapmsg base.
#define	GCC_VERSION   (__GNUC__ * 100 + __GNUC_MINOR__)
	GCC in a single figure (e.g. 402 for gcc-4.2).

---

Detailed Description

L4 IPC System Calls, amd64.

Definition in file ARCH-amd64/L4API-l4v2/ipc.h.