tdx_load_mmu_pgd - Linux

Symbol: tdx_load_mmu_pgd

arch/x86/kvm/vmx/main.c

tdx_load_mmu_pgd(vcpu, root_hpa, pgd_level);

arch/x86/kvm/vmx/x86_ops.h

void tdx_load_mmu_pgd(struct kvm_vcpu *vcpu, hpa_t root_hpa, int root_level);