tdx_mmu_release_hkid - Linux

Symbol: tdx_mmu_release_hkid

arch/x86/kvm/vmx/main.c

return tdx_mmu_release_hkid(kvm);

arch/x86/kvm/vmx/tdx.c

tdx_mmu_release_hkid(kvm);

arch/x86/kvm/vmx/x86_ops.h

void tdx_mmu_release_hkid(struct kvm *kvm);