Symbol: tdx_vcpu_create
arch/x86/kvm/vmx/main.c
76
return tdx_vcpu_create(vcpu);
arch/x86/kvm/vmx/x86_ops.h
136
int tdx_vcpu_create(struct kvm_vcpu *vcpu);