int syscall(SYS_membarrier, int cmd, unsigned int flags, int cpu_id);