blob: e6e7f74c8ac9c30766821708587586468b56fa40 [file] [log] [blame]
# SPDX-License-Identifier: GPL-2.0
generated-y += syscall_table_32.h
generated-y += syscall_table_64.h
generic-y += kvm_para.h
generic-y += mcs_spinlock.h
generic-y += user.h