18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ciifeq ($(wildcard $(srctree)/arch/$(SRCARCH)/include/uapi/asm/a.out.h),) 38c2ecf20Sopenharmony_cino-export-headers += linux/a.out.h 48c2ecf20Sopenharmony_ciendif 58c2ecf20Sopenharmony_ci 68c2ecf20Sopenharmony_ciifeq ($(wildcard $(srctree)/arch/$(SRCARCH)/include/uapi/asm/kvm.h),) 78c2ecf20Sopenharmony_cino-export-headers += linux/kvm.h 88c2ecf20Sopenharmony_ciendif 98c2ecf20Sopenharmony_ci 108c2ecf20Sopenharmony_ciifeq ($(wildcard $(srctree)/arch/$(SRCARCH)/include/uapi/asm/kvm_para.h),) 118c2ecf20Sopenharmony_ciifeq ($(wildcard $(objtree)/arch/$(SRCARCH)/include/generated/uapi/asm/kvm_para.h),) 128c2ecf20Sopenharmony_cino-export-headers += linux/kvm_para.h 138c2ecf20Sopenharmony_ciendif 148c2ecf20Sopenharmony_ciendif 15