| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| /* | |
| * Copyright (C) 2008-2013 Freescale Semiconductor, Inc. All rights reserved. | |
| */ | |
| #ifndef KVM_E500_MMU_HOST_H | |
| #define KVM_E500_MMU_HOST_H | |
| void inval_gtlbe_on_host(struct kvmppc_vcpu_e500 *vcpu_e500, int tlbsel, | |
| int esel); | |
| int e500_mmu_host_init(struct kvmppc_vcpu_e500 *vcpu_e500); | |
| void e500_mmu_host_uninit(struct kvmppc_vcpu_e500 *vcpu_e500); | |
| #endif /* KVM_E500_MMU_HOST_H */ |