kernel/membarrier.c

This file defines the entry point for the following syscalls: membarrier.