pub type membarrier_cmd_flag = u32;