1# SPDX-License-Identifier: GPL-2.0-only 2# Copied source files from the main vdso directory 3*.c 4*.S 5!vdso-cfi.S 6vdso.lds 7*.tmp 8vdso-syms.S 9