28 |
|
|
29 |
#define l4_niltag _L4_niltag |
#define l4_niltag _L4_niltag |
30 |
|
|
31 |
static inline l4_word_t |
static inline bool |
32 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
33 |
l4_is_msg_tag_equal (l4_msg_tag_t l, l4_msg_tag_t r) |
l4_is_msg_tag_equal (l4_msg_tag_t l, l4_msg_tag_t r) |
34 |
{ |
{ |
36 |
} |
} |
37 |
|
|
38 |
|
|
39 |
static inline l4_word_t |
static inline bool |
40 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
41 |
l4_is_msg_tag_not_equal (l4_msg_tag_t l, l4_msg_tag_t r) |
l4_is_msg_tag_not_equal (l4_msg_tag_t l, l4_msg_tag_t r) |
42 |
{ |
{ |
145 |
} |
} |
146 |
|
|
147 |
|
|
148 |
static inline l4_word_t |
static inline bool |
149 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
150 |
l4_is_map_item (l4_map_item_t map_item) |
l4_is_map_item (l4_map_item_t map_item) |
151 |
{ |
{ |
181 |
} |
} |
182 |
|
|
183 |
|
|
184 |
static inline l4_word_t |
static inline bool |
185 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
186 |
l4_is_grant_item (l4_grant_item_t grant_item) |
l4_is_grant_item (l4_grant_item_t grant_item) |
187 |
{ |
{ |
214 |
#define L4_use_default_cache_line_allocation \ |
#define L4_use_default_cache_line_allocation \ |
215 |
_L4_use_default_cache_line_allocation |
_L4_use_default_cache_line_allocation |
216 |
|
|
217 |
static inline l4_word_t |
static inline bool |
218 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
219 |
l4_is_string_item (l4_string_item_t *string_item) |
l4_is_string_item (l4_string_item_t *string_item) |
220 |
{ |
{ |
222 |
} |
} |
223 |
|
|
224 |
|
|
225 |
static inline l4_word_t |
static inline bool |
226 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
227 |
l4_compound_string (l4_string_item_t *string_item) |
l4_compound_string (l4_string_item_t *string_item) |
228 |
{ |
{ |
341 |
} |
} |
342 |
|
|
343 |
|
|
344 |
static inline l4_word_t |
static inline bool |
345 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
346 |
l4_has_string_items (l4_acceptor_t acceptor) |
l4_has_string_items (l4_acceptor_t acceptor) |
347 |
{ |
{ |
349 |
} |
} |
350 |
|
|
351 |
|
|
352 |
static inline l4_word_t |
static inline bool |
353 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
354 |
l4_has_map_grant_items (l4_acceptor_t acceptor) |
l4_has_map_grant_items (l4_acceptor_t acceptor) |
355 |
{ |
{ |
761 |
} |
} |
762 |
|
|
763 |
|
|
764 |
static inline l4_word_t |
static inline bool |
765 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
766 |
l4_ipc_succeeded (l4_msg_tag_t tag) |
l4_ipc_succeeded (l4_msg_tag_t tag) |
767 |
{ |
{ |
769 |
} |
} |
770 |
|
|
771 |
|
|
772 |
static inline l4_word_t |
static inline bool |
773 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
774 |
l4_ipc_failed (l4_msg_tag_t tag) |
l4_ipc_failed (l4_msg_tag_t tag) |
775 |
{ |
{ |
777 |
} |
} |
778 |
|
|
779 |
|
|
780 |
static inline l4_word_t |
static inline bool |
781 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
782 |
l4_ipc_propagated (l4_msg_tag_t tag) |
l4_ipc_propagated (l4_msg_tag_t tag) |
783 |
{ |
{ |
785 |
} |
} |
786 |
|
|
787 |
|
|
788 |
static inline l4_word_t |
static inline bool |
789 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
790 |
l4_ipc_redirected (l4_msg_tag_t tag) |
l4_ipc_redirected (l4_msg_tag_t tag) |
791 |
{ |
{ |
793 |
} |
} |
794 |
|
|
795 |
|
|
796 |
static inline l4_word_t |
static inline bool |
797 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
798 |
l4_ipc_xcpu (l4_msg_tag_t tag) |
l4_ipc_xcpu (l4_msg_tag_t tag) |
799 |
{ |
{ |