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