Symbol: tdx_vcpu_pre_run
arch/x86/kvm/vmx/main.c
146
return tdx_vcpu_pre_run(vcpu);
arch/x86/kvm/vmx/x86_ops.h
140
int tdx_vcpu_pre_run(struct kvm_vcpu *vcpu);