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 |