18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_cigenerated-y += syscall_table_32.h 38c2ecf20Sopenharmony_cigenerated-y += syscall_table_64.h 48c2ecf20Sopenharmony_cigenerated-y += syscall_table_c32.h 58c2ecf20Sopenharmony_cigeneric-y += kvm_para.h 68c2ecf20Sopenharmony_cigeneric-y += mcs_spinlock.h 78c2ecf20Sopenharmony_cigeneric-y += seccomp.h 88c2ecf20Sopenharmony_cigeneric-y += user.h 9