Symbol: tdx_flush_tlb_all
arch/x86/kvm/vmx/main.c
516
tdx_flush_tlb_all(vcpu);
arch/x86/kvm/vmx/x86_ops.h
154
void tdx_flush_tlb_all(struct kvm_vcpu *vcpu);