1*d5470d14SMasahiro Yamada# SPDX-License-Identifier: GPL-2.0 2*d5470d14SMasahiro Yamadaifeq ($(wildcard $(srctree)/arch/$(SRCARCH)/include/uapi/asm/a.out.h),) 3*d5470d14SMasahiro Yamadano-export-headers += linux/a.out.h 4*d5470d14SMasahiro Yamadaendif 5*d5470d14SMasahiro Yamada 6*d5470d14SMasahiro Yamadaifeq ($(wildcard $(srctree)/arch/$(SRCARCH)/include/uapi/asm/kvm.h),) 7*d5470d14SMasahiro Yamadano-export-headers += linux/kvm.h 8*d5470d14SMasahiro Yamadaendif 9*d5470d14SMasahiro Yamada 10*d5470d14SMasahiro Yamadaifeq ($(wildcard $(srctree)/arch/$(SRCARCH)/include/uapi/asm/kvm_para.h),) 11*d5470d14SMasahiro Yamadaifeq ($(wildcard $(objtree)/arch/$(SRCARCH)/include/generated/uapi/asm/kvm_para.h),) 12*d5470d14SMasahiro Yamadano-export-headers += linux/kvm_para.h 13*d5470d14SMasahiro Yamadaendif 14*d5470d14SMasahiro Yamadaendif 15