pub type arm_mem_barrier = c_uint;