1fe5db27dSBen Gardon // SPDX-License-Identifier: GPL-2.0 2fe5db27dSBen Gardon 3fe5db27dSBen Gardon #ifndef __KVM_X86_MMU_TDP_MMU_H 4fe5db27dSBen Gardon #define __KVM_X86_MMU_TDP_MMU_H 5fe5db27dSBen Gardon 6fe5db27dSBen Gardon #include <linux/kvm_host.h> 7fe5db27dSBen Gardon 8fe5db27dSBen Gardon void kvm_mmu_init_tdp_mmu(struct kvm *kvm); 9fe5db27dSBen Gardon void kvm_mmu_uninit_tdp_mmu(struct kvm *kvm); 1002c00b3aSBen Gardon 1102c00b3aSBen Gardon bool is_tdp_mmu_root(struct kvm *kvm, hpa_t root); 1202c00b3aSBen Gardon hpa_t kvm_tdp_mmu_get_vcpu_root_hpa(struct kvm_vcpu *vcpu); 1302c00b3aSBen Gardon void kvm_tdp_mmu_free_root(struct kvm *kvm, struct kvm_mmu_page *root); 1402c00b3aSBen Gardon 15*faaf05b0SBen Gardon bool kvm_tdp_mmu_zap_gfn_range(struct kvm *kvm, gfn_t start, gfn_t end); 16*faaf05b0SBen Gardon void kvm_tdp_mmu_zap_all(struct kvm *kvm); 17fe5db27dSBen Gardon #endif /* __KVM_X86_MMU_TDP_MMU_H */ 18