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 */
16