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 
20