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
14EXPORT_SYMBOL_GPL(kvmppc_hv_entry_trampoline);
15#endif
16#ifdef CONFIG_KVM_BOOK3S_PR_POSSIBLE
17EXPORT_SYMBOL_GPL(kvmppc_entry_trampoline);
18#endif
19
20