28 |
#include <l4/syscall.h> |
#include <l4/syscall.h> |
29 |
|
|
30 |
|
|
31 |
/* l4_memory_control convenience interface. */ |
/* _L4_memory_control convenience interface. */ |
32 |
|
|
33 |
#define _L4_DEFAULT_MEMORY (_L4_WORD_C(0)) |
#define _L4_DEFAULT_MEMORY (_L4_WORD_C (0)) |
34 |
|
|
35 |
static inline _L4_word_t |
static inline _L4_word_t |
36 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
50 |
_L4_set_pages_attributes (_L4_word_t nr, _L4_fpage_t *fpages, |
_L4_set_pages_attributes (_L4_word_t nr, _L4_fpage_t *fpages, |
51 |
_L4_word_t *attributes) |
_L4_word_t *attributes) |
52 |
{ |
{ |
53 |
_L4_load_mrs (0, nr, (_L4_word_t *) fpages); |
_L4_load_mrs (0, nr, fpages); |
54 |
return _L4_memory_control (nr - 1, attributes); |
return _L4_memory_control (nr - 1, attributes); |
55 |
} |
} |
56 |
|
|