59 |
} |
} |
60 |
|
|
61 |
|
|
62 |
static inline l4_word_t |
static inline bool |
63 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
64 |
l4_is_thread_equal (l4_thread_id_t thread1, l4_thread_id_t thread2) |
l4_is_thread_equal (l4_thread_id_t thread1, l4_thread_id_t thread2) |
65 |
{ |
{ |
67 |
} |
} |
68 |
|
|
69 |
|
|
70 |
static inline l4_word_t |
static inline bool |
71 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
72 |
l4_is_thread_not_equal (l4_thread_id_t thread1, l4_thread_id_t thread2) |
l4_is_thread_not_equal (l4_thread_id_t thread1, l4_thread_id_t thread2) |
73 |
{ |
{ |
75 |
} |
} |
76 |
|
|
77 |
|
|
78 |
static inline l4_word_t |
static inline bool |
79 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
80 |
l4_same_threads (l4_thread_id_t thread1, l4_thread_id_t thread2) |
l4_same_threads (l4_thread_id_t thread1, l4_thread_id_t thread2) |
81 |
{ |
{ |
83 |
} |
} |
84 |
|
|
85 |
|
|
86 |
static inline l4_word_t |
static inline bool |
87 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
88 |
l4_is_nil_thread (l4_thread_id_t thread) |
l4_is_nil_thread (l4_thread_id_t thread) |
89 |
{ |
{ |
91 |
} |
} |
92 |
|
|
93 |
|
|
94 |
static inline l4_word_t |
static inline bool |
95 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
96 |
l4_is_local_id (l4_thread_id_t thread) |
l4_is_local_id (l4_thread_id_t thread) |
97 |
{ |
{ |
99 |
} |
} |
100 |
|
|
101 |
|
|
102 |
static inline l4_word_t |
static inline bool |
103 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
104 |
l4_is_global_id (l4_thread_id_t thread) |
l4_is_global_id (l4_thread_id_t thread) |
105 |
{ |
{ |