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