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