Symbol: tdx_complete_simple
arch/x86/kvm/vmx/tdx.c
1566
vcpu->arch.complete_userspace_io = tdx_complete_simple;
arch/x86/kvm/vmx/tdx.c
1587
vcpu->arch.complete_userspace_io = tdx_complete_simple;