Symbol: tdx_vm_ioctl
arch/x86/kvm/vmx/main.c
823
return tdx_vm_ioctl(kvm, argp);
arch/x86/kvm/vmx/x86_ops.h
128
int tdx_vm_ioctl(struct kvm *kvm, void __user *argp);