112 |
} |
} |
113 |
|
|
114 |
|
|
115 |
static inline l4_time_t |
static inline bool |
116 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
117 |
l4_is_time_shorter (l4_time_t l, l4_time_t r) |
l4_is_time_shorter (l4_time_t l, l4_time_t r) |
118 |
{ |
{ |
120 |
} |
} |
121 |
|
|
122 |
|
|
123 |
static inline l4_time_t |
static inline bool |
124 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
125 |
l4_is_time_equal (l4_time_t l, l4_time_t r) |
l4_is_time_equal (l4_time_t l, l4_time_t r) |
126 |
{ |
{ |
128 |
} |
} |
129 |
|
|
130 |
|
|
131 |
static inline l4_time_t |
static inline bool |
132 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
133 |
l4_is_time_not_equal (l4_time_t l, l4_time_t r) |
l4_is_time_not_equal (l4_time_t l, l4_time_t r) |
134 |
{ |
{ |
208 |
} |
} |
209 |
|
|
210 |
|
|
211 |
static inline l4_word_t |
static inline bool |
212 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
213 |
l4_enable_preemption_fault_exception (void) |
l4_enable_preemption_fault_exception (void) |
214 |
{ |
{ |
216 |
} |
} |
217 |
|
|
218 |
|
|
219 |
static inline l4_word_t |
static inline bool |
220 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
221 |
l4_disable_preemption_fault_exception (void) |
l4_disable_preemption_fault_exception (void) |
222 |
{ |
{ |
224 |
} |
} |
225 |
|
|
226 |
|
|
227 |
static inline l4_word_t |
static inline bool |
228 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
229 |
l4_enable_preemption (void) |
l4_enable_preemption (void) |
230 |
{ |
{ |
232 |
} |
} |
233 |
|
|
234 |
|
|
235 |
static inline l4_word_t |
static inline bool |
236 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
237 |
l4_disable_preemption (void) |
l4_disable_preemption (void) |
238 |
{ |
{ |
240 |
} |
} |
241 |
|
|
242 |
|
|
243 |
static inline l4_word_t |
static inline bool |
244 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
245 |
l4_preemptionpending (void) |
l4_preemptionpending (void) |
246 |
{ |
{ |