write_barrier 50 kernel/generic/include/barrier.h static inline void write_barrier(void) write_barrier 55 uspace/lib/c/include/barrier.h static inline void write_barrier(void) write_barrier 55 uspace/lib/posix/include/libc/barrier.h static inline void write_barrier(void)HelenOS homepage, sources at GitHub