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