1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* 3 * Copyright (C) 2008-2013 Freescale Semiconductor, Inc. All rights reserved. 4 */ 5 6 #ifndef KVM_E500_MMU_HOST_H 7 #define KVM_E500_MMU_HOST_H 8 9 void inval_gtlbe_on_host(struct kvmppc_vcpu_e500 *vcpu_e500, int tlbsel, 10 int esel); 11 12 int e500_mmu_host_init(struct kvmppc_vcpu_e500 *vcpu_e500); 13 void e500_mmu_host_uninit(struct kvmppc_vcpu_e500 *vcpu_e500); 14 15 #endif /* KVM_E500_MMU_HOST_H */