1# SPDX-License-Identifier: GPL-2.0-only
2copyuser_64_t0
3copyuser_64_t1
4copyuser_64_t2
5copyuser_p7_t0
6copyuser_p7_t1
7memcpy_64_t0
8memcpy_64_t1
9memcpy_64_t2
10memcpy_p7_t0
11memcpy_p7_t1
12copyuser_64_exc_t0
13copyuser_64_exc_t1
14copyuser_64_exc_t2
15memcpy_mcsafe_64
16