1# SPDX-License-Identifier: GPL-2.0 2generated-y += syscall_table_32.h 3generated-y += syscall_table_64.h 4generated-y += syscall_table_c32.h 5generic-y += kvm_para.h 6generic-y += local64.h 7generic-y += mcs_spinlock.h 8generic-y += seccomp.h 9generic-y += user.h 10