1# SPDX-License-Identifier: GPL-2.0-only 2vdso_test 3vdso_test_gettimeofday 4vdso_test_getcpu 5vdso_standalone_test_x86 6