| # SPDX-License-Identifier: GPL-2.0 | |
| generated-y += syscall_table_32.h | |
| generated-y += syscall_table_64.h | |
| generated-y += syscall_table_c32.h | |
| generic-y += kvm_para.h | |
| generic-y += local64.h | |
| generic-y += mcs_spinlock.h | |
| generic-y += seccomp.h | |
| generic-y += user.h |