2 * Copyright (C) 2008-2013 Freescale Semiconductor, Inc. All rights reserved.
4 * This program is free software; you can redistribute it and/or modify
5 * it under the terms of the GNU General Public License, version 2, as
6 * published by the Free Software Foundation.
9 #ifndef KVM_E500_MMU_HOST_H
10 #define KVM_E500_MMU_HOST_H
12 void inval_gtlbe_on_host(struct kvmppc_vcpu_e500 *vcpu_e500, int tlbsel,
15 int e500_mmu_host_init(struct kvmppc_vcpu_e500 *vcpu_e500);
16 void e500_mmu_host_uninit(struct kvmppc_vcpu_e500 *vcpu_e500);
18 #endif /* KVM_E500_MMU_HOST_H */