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 |