blob: d8178cc86b307c426d60029871cb0eb76b24302e [file] [log] [blame]
Thomas Gleixnerd2912cb2019-06-04 10:11:33 +02001/* SPDX-License-Identifier: GPL-2.0-only */
Alexander Grafb71c9e22013-01-11 15:22:45 +01002/*
3 * Copyright (C) 2008-2013 Freescale Semiconductor, Inc. All rights reserved.
Alexander Grafb71c9e22013-01-11 15:22:45 +01004 */
5
6#ifndef KVM_E500_MMU_HOST_H
7#define KVM_E500_MMU_HOST_H
8
9void inval_gtlbe_on_host(struct kvmppc_vcpu_e500 *vcpu_e500, int tlbsel,
10 int esel);
11
Alexander Grafb71c9e22013-01-11 15:22:45 +010012int e500_mmu_host_init(struct kvmppc_vcpu_e500 *vcpu_e500);
13void e500_mmu_host_uninit(struct kvmppc_vcpu_e500 *vcpu_e500);
14
15#endif /* KVM_E500_MMU_HOST_H */