Files: /kernel/wrappers/memory-barriers.html