114 |
|
|
115 |
static inline L4_Fpage_t |
static inline L4_Fpage_t |
116 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
117 |
#ifdef _cplusplus |
#ifdef __cplusplus |
118 |
operator + (const L4_Fpage_t l, const L4_Word_t r) |
operator + (const L4_Fpage_t l, const L4_Word_t r) |
119 |
#else |
#else |
120 |
L4_FpageAddRights (L4_Fpage_t l, L4_Word_t r) |
L4_FpageAddRights (L4_Fpage_t l, L4_Word_t r) |
129 |
|
|
130 |
static inline L4_Fpage_t |
static inline L4_Fpage_t |
131 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
132 |
#ifdef _cplusplus |
#ifdef __cplusplus |
133 |
operator - (const L4_Fpage_t l, const L4_Word_t r) |
operator - (const L4_Fpage_t l, const L4_Word_t r) |
134 |
#else |
#else |
135 |
L4_FpageRemoveRights (const L4_Fpage_t l, const L4_Word_t r) |
L4_FpageRemoveRights (const L4_Fpage_t l, const L4_Word_t r) |
142 |
} |
} |
143 |
|
|
144 |
|
|
145 |
#ifdef _cplusplus |
#ifdef __cplusplus |
146 |
|
|
147 |
static inline L4_Fpage_t& |
static inline L4_Fpage_t& |
148 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
199 |
|
|
200 |
static inline L4_Fpage_t |
static inline L4_Fpage_t |
201 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
202 |
#ifdef _cplusplus |
#ifdef __cplusplus |
203 |
L4_Unmap (L4_Fpage_t fpage) |
L4_Unmap (L4_Fpage_t fpage) |
204 |
#else |
#else |
205 |
L4_UnmapFpage (L4_Fpage_t fpage) |
L4_UnmapFpage (L4_Fpage_t fpage) |
212 |
|
|
213 |
static inline void |
static inline void |
214 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
215 |
#ifdef _cplusplus |
#ifdef __cplusplus |
216 |
L4_Unmap (L4_Word_t n, L4_Fpage_t *fpages) |
L4_Unmap (L4_Word_t n, L4_Fpage_t *fpages) |
217 |
#else |
#else |
218 |
L4_UnmapFpages (L4_Word_t n, L4_Fpage_t *fpages) |
L4_UnmapFpages (L4_Word_t n, L4_Fpage_t *fpages) |
233 |
|
|
234 |
static inline void |
static inline void |
235 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
236 |
#ifdef _cplusplus |
#ifdef __cplusplus |
237 |
L4_Flush (L4_Word_t n, L4_Fpage_t *fpages) |
L4_Flush (L4_Word_t n, L4_Fpage_t *fpages) |
238 |
#else |
#else |
239 |
L4_FlushFpage (L4_Word_t n, L4_Fpage_t *fpages) |
L4_FlushFpages (L4_Word_t n, L4_Fpage_t *fpages) |
240 |
#endif |
#endif |
241 |
{ |
{ |
242 |
_L4_flush_fpages (n, &fpages[0].raw); |
_L4_flush_fpages (n, &fpages[0].raw); |