e500_mmu_host.h

 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
 9void inval_gtlbe_on_host(struct kvmppc_vcpu_e500 *vcpu_e500, int tlbsel,
10			 int esel);
11
12int 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 */