# SPDX-License-Identifier: GPL-2.0 syscall-y += syscall_table_32.h generic-y += cmpxchg.h generic-y += extable.h generic-y += kvm_para.h generic-y += mcs_spinlock.h generic-y += spinlock.h generic-y += user.h