/* Define the real-function versions of all inline functions defined in l4/ipc.c. */ /* Include all header files used by l4/ipc.h which possibly define extern inline functions as well before setting _L4_EXTERN_INLINE. */ #include #include #include #ifdef _L4_EXTERN_INLINE #undef _L4_EXTERN_INLINE #endif #define _L4_EXTERN_INLINE #include