Symbol: tdx_inject_nmi
arch/x86/kvm/vmx/main.c
557
tdx_inject_nmi(vcpu);
arch/x86/kvm/vmx/x86_ops.h
149
void tdx_inject_nmi(struct kvm_vcpu *vcpu);