Symbol: tdx_vcpu_reset
arch/x86/kvm/vmx/main.c
89
tdx_vcpu_reset(vcpu, init_event);
arch/x86/kvm/vmx/x86_ops.h
131
void tdx_vcpu_reset(struct kvm_vcpu *vcpu, bool init_event);