Lines Matching refs:L4_INLINE
52 L4_INLINE l4_cpu_time_t
60 L4_INLINE
69 L4_INLINE l4_uint64_t
77 L4_INLINE
84 L4_INLINE l4_uint64_t
91 L4_INLINE l4_uint64_t
99 L4_INLINE void
107 L4_INLINE l4_cpu_time_t
115 L4_INLINE void
123 L4_INLINE void
136 L4_INLINE l4_uint32_t
180 L4_INLINE l4_uint32_t
186 L4_INLINE l4_cpu_time_t
206 L4_INLINE l4_uint64_t
228 L4_INLINE
247 L4_INLINE
261 L4_INLINE l4_uint64_t
275 L4_INLINE l4_uint64_t
289 L4_INLINE void
304 L4_INLINE l4_cpu_time_t
318 L4_INLINE void
328 L4_INLINE void