# SPDX-License-Identifier: GPL-2.0-only
copyuser_64_t0
copyuser_64_t1
copyuser_64_t2
copyuser_p7_t0
copyuser_p7_t1
memcpy_64_t0
memcpy_64_t1
memcpy_64_t2
memcpy_p7_t0
memcpy_p7_t1
copyuser_64_exc_t0
copyuser_64_exc_t1
copyuser_64_exc_t2
copy_mc_64