__NR_membarrier
__SYSCALL(__NR_membarrier, sys_membarrier)
__SYSCALL(__NR_membarrier, sys_membarrier)
return syscall(__NR_membarrier, MEMBARRIER_CMD_SHARED, 0, 0);
return syscall(__NR_membarrier, cmd, flags);
return syscall(__NR_membarrier, cmd, flags, cpu_id);