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