1 |
|
/* misc.h - Public interface to L4 miscellaneous functions. |
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_MISC_H |
#ifndef _L4_MISC_H |
23 |
#define _L4_MISC_H 1 |
#define _L4_MISC_H 1 |
24 |
|
|
27 |
#include <l4/vregs.h> |
#include <l4/vregs.h> |
28 |
#include <l4/syscall.h> |
#include <l4/syscall.h> |
29 |
|
|
|
#ifndef _L4_EXTERN_INLINE |
|
|
#define _L4_EXTERN_INLINE extern __inline |
|
|
#endif |
|
|
|
|
30 |
|
|
31 |
/* l4_memory_control convenience interface. */ |
/* l4_memory_control convenience interface. */ |
32 |
|
|
33 |
#define L4_DEFAULT_MEMORY 0x0 |
#define L4_DEFAULT_MEMORY 0x0 |
34 |
|
|
35 |
_L4_EXTERN_INLINE void |
static inline void |
36 |
|
__attribute__((__always_inline__)) |
37 |
l4_set_page_attribute (l4_fpage_t fpage, l4_word_t attribute) |
l4_set_page_attribute (l4_fpage_t fpage, l4_word_t attribute) |
38 |
{ |
{ |
39 |
l4_set_rights (&fpage, 0); |
l4_set_rights (&fpage, 0); |
42 |
} |
} |
43 |
|
|
44 |
|
|
45 |
_L4_EXTERN_INLINE void |
static inline void |
46 |
|
__attribute__((__always_inline__)) |
47 |
l4_set_pages_attributes (l4_word_t nr, l4_fpage_t *fpages, |
l4_set_pages_attributes (l4_word_t nr, l4_fpage_t *fpages, |
48 |
l4_word_t *attributes) |
l4_word_t *attributes) |
49 |
{ |
{ |