1 // SPDX-License-Identifier: GPL-2.0-only 2 /* 3 * 4 * Copyright SUSE Linux Products GmbH 2009 5 * 6 * Authors: Alexander Graf <agraf@suse.de> 7 */ 8 9 #include <linux/export.h> 10 #include <asm/kvm_ppc.h> 11 #include <asm/kvm_book3s.h> 12 13 #ifdef CONFIG_KVM_BOOK3S_HV_POSSIBLE 14 EXPORT_SYMBOL_GPL(kvmppc_hv_entry_trampoline); 15 #endif 16 #ifdef CONFIG_KVM_BOOK3S_PR_POSSIBLE 17 EXPORT_SYMBOL_GPL(kvmppc_entry_trampoline); 18 #endif 19