ipc.h File Reference

L4 IPC System Calls, ARM. More...

Go to the source code of this file.

Defines
#define	L4_IPC_CAPMAPMSG_BASE   0xf0000100
	Capability mapmsg base.

---

Detailed Description

L4 IPC System Calls, ARM.

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