36 |
#define L4_COMPLETE_ADDRESS_SPACE _L4_complete_address_space |
#define L4_COMPLETE_ADDRESS_SPACE _L4_complete_address_space |
37 |
|
|
38 |
|
|
39 |
static inline l4_word_t |
static inline bool |
40 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
41 |
l4_is_nil_fpage (l4_fpage_t fpage) |
l4_is_nil_fpage (l4_fpage_t fpage) |
42 |
{ |
{ |
172 |
} |
} |
173 |
|
|
174 |
|
|
175 |
static inline l4_word_t |
static inline bool |
176 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
177 |
l4_was_referenced (l4_fpage_t fpage) |
l4_was_referenced (l4_fpage_t fpage) |
178 |
{ |
{ |
180 |
} |
} |
181 |
|
|
182 |
|
|
183 |
static inline l4_word_t |
static inline bool |
184 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
185 |
l4_was_written (l4_fpage_t fpage) |
l4_was_written (l4_fpage_t fpage) |
186 |
{ |
{ |
188 |
} |
} |
189 |
|
|
190 |
|
|
191 |
static inline l4_word_t |
static inline bool |
192 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
193 |
l4_was_executed (l4_fpage_t fpage) |
l4_was_executed (l4_fpage_t fpage) |
194 |
{ |
{ |