Searched refs:l4_mb (Results 1 – 3 of 3) sorted by relevance
264 L4_INLINE void l4_mb(void);278 L4_INLINE void l4_mb(void) in l4_mb() function
214 l4_mb(); in l4_kip_clock_lw()
213 void free() noexcept { l4_mb(); time = 0; }
Completed in 6 milliseconds