| // SPDX-License-Identifier: GPL-2.0-only | |
| /* | |
| * | |
| * Copyright SUSE Linux Products GmbH 2009 | |
| * | |
| * Authors: Alexander Graf <agraf@suse.de> | |
| */ | |
| #include <linux/export.h> | |
| #include <asm/kvm_ppc.h> | |
| #include <asm/kvm_book3s.h> | |
| #ifdef CONFIG_KVM_BOOK3S_HV_POSSIBLE | |
| EXPORT_SYMBOL_GPL(kvmppc_hv_entry_trampoline); | |
| #endif | |
| #ifdef CONFIG_KVM_BOOK3S_PR_POSSIBLE | |
| EXPORT_SYMBOL_GPL(kvmppc_entry_trampoline); | |
| #endif | |