Constant membarrier_cmd_flag_MEMBARRIER_CMD_FLAG_CPU 

pub const membarrier_cmd_flag_MEMBARRIER_CMD_FLAG_CPU: membarrier_cmd_flag = 1;