Fiasco/L4 System Call C-Bindings Reference Manual

00001 /*****************************************************************************/
00007 /*****************************************************************************/
00008 #ifndef __L4_IPC_H__
00009 #define __L4_IPC_H__
00010 
00011 #include <l4/sys/types.h>
00012 
00013 #define L4_IPC_IOMAPMSG_BASE  0xf0000000   
00014 #define L4_IPC_CAPMAPMSG_BASE 0xf0000100   
00015 
00016 #include_next <l4/sys/ipc.h>
00017 
00018 /*****************************************************************************
00019  *** Implementation
00020  *****************************************************************************/
00021 
00022 #include <l4/sys/rt_sched-proto.h>
00023 #include <l4/sys/ipc-invoke.h>
00024 
00025 #define GCC_VERSION (__GNUC__ * 100 + __GNUC_MINOR__)  
00026 
00027 #ifdef PROFILE
00028 #  include "ipc-l42-profile.h"
00029 #else
00030 #  if GCC_VERSION < 302
00031 #    error gcc >= 3.0.2 required
00032 #  else
00033 #    ifdef __PIC__
00034 #      include "ipc-l42-gcc3-pic.h"
00035 #    else
00036 #      include "ipc-l42-gcc3-nopic.h"
00037 #    endif
00038 #  endif
00039 #endif
00040 
00041 #include <l4/sys/ipc-impl.h>
00042 
00043 #endif /* !__L4_IPC_H__ */