/* Define the real-function versions of all inline functions defined in l4/vregs.h (or l4/bits/vregs.h). */ #ifdef _L4_EXTERN_INLINE #undef _L4_EXTERN_INLINE #endif #define _L4_EXTERN_INLINE #include