pub type arm64_prefetch_op = c_uint;