^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) # SPDX-License-Identifier: GPL-2.0
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) generated-y += syscall_table_32.h
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3) generated-y += syscall_table_64.h
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4) generated-y += syscall_table_c32.h
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5) generic-y += kvm_para.h
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) generic-y += mcs_spinlock.h
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7) generic-y += user.h