Symbol: is_tdp_mmu_active
arch/x86/kvm/mmu/mmu.c
4451
if (is_tdp_mmu_active(vcpu))
arch/x86/kvm/mmu/mmu.c
571
if (is_tdp_mmu_active(vcpu)) {
arch/x86/kvm/mmu/mmu.c
590
if (is_tdp_mmu_active(vcpu)) {