Symbol: tdx_vcpu_unlocked_ioctl
arch/x86/kvm/vmx/main.c
839
return tdx_vcpu_unlocked_ioctl(vcpu, argp);
arch/x86/kvm/vmx/x86_ops.h
151
int tdx_vcpu_unlocked_ioctl(struct kvm_vcpu *vcpu, void __user *argp);