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