1 |
|
/* l4.h - Public interface to L4. |
2 |
|
Copyright (C) 2003 Free Software Foundation, Inc. |
3 |
|
Written by Marcus Brinkmann <marcus@gnu.org>. |
4 |
|
|
5 |
|
This file is part of the GNU L4 library. |
6 |
|
|
7 |
|
The GNU L4 library is free software; you can redistribute it and/or |
8 |
|
modify it under the terms of the GNU Lesser General Public License |
9 |
|
as published by the Free Software Foundation; either version 2.1 of |
10 |
|
the License, or (at your option) any later version. |
11 |
|
|
12 |
|
The GNU L4 library is distributed in the hope that it will be |
13 |
|
useful, but WITHOUT ANY WARRANTY; without even the implied warranty |
14 |
|
of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
15 |
|
GNU Lesser General Public License for more details. |
16 |
|
|
17 |
|
You should have received a copy of the GNU Lesser General Public |
18 |
|
License along with the GNU L4 library; if not, write to the Free |
19 |
|
Software Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA |
20 |
|
02111-1307, USA. */ |
21 |
|
|
22 |
#ifndef _L4_H |
#ifndef _L4_H |
23 |
#define _L4_H 1 |
#define _L4_H 1 |
24 |
|
|
31 |
#include <l4/misc.h> |
#include <l4/misc.h> |
32 |
#include <l4/kip.h> |
#include <l4/kip.h> |
33 |
|
|
34 |
#ifndef _L4_EXTERN_INLINE |
|
|
#define _L4_EXTERN_INLINE extern __inline |
|
|
#endif |
|
|
|
|
35 |
/* Initialize the global data. */ |
/* Initialize the global data. */ |
36 |
_L4_EXTERN_INLINE void |
static inline void |
37 |
|
__attribute__((__always_inline__)) |
38 |
l4_init (void) |
l4_init (void) |
39 |
{ |
{ |
40 |
l4_api_version_t version; |
l4_api_version_t version; |