1*d2912cb1SThomas Gleixner /* SPDX-License-Identifier: GPL-2.0-only */ 2b71c9e2fSAlexander Graf /* 3b71c9e2fSAlexander Graf * Copyright (C) 2008-2013 Freescale Semiconductor, Inc. All rights reserved. 4b71c9e2fSAlexander Graf */ 5b71c9e2fSAlexander Graf 6b71c9e2fSAlexander Graf #ifndef KVM_E500_MMU_HOST_H 7b71c9e2fSAlexander Graf #define KVM_E500_MMU_HOST_H 8b71c9e2fSAlexander Graf 9b71c9e2fSAlexander Graf void inval_gtlbe_on_host(struct kvmppc_vcpu_e500 *vcpu_e500, int tlbsel, 10b71c9e2fSAlexander Graf int esel); 11b71c9e2fSAlexander Graf 12b71c9e2fSAlexander Graf int e500_mmu_host_init(struct kvmppc_vcpu_e500 *vcpu_e500); 13b71c9e2fSAlexander Graf void e500_mmu_host_uninit(struct kvmppc_vcpu_e500 *vcpu_e500); 14b71c9e2fSAlexander Graf 15b71c9e2fSAlexander Graf #endif /* KVM_E500_MMU_HOST_H */ 16