pub type arm64_barrier_op = c_uint;