e500_mmu_host.h 433 B

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