Symbol: tdvmcall_set_return_val
arch/x86/kvm/vmx/tdx.c
1350
tdvmcall_set_return_val(vcpu, val);
arch/x86/kvm/vmx/tdx.c
1386
tdvmcall_set_return_val(vcpu, val);
arch/x86/kvm/vmx/tdx.c
1401
tdvmcall_set_return_val(vcpu, val);
arch/x86/kvm/vmx/tdx.c
1428
tdvmcall_set_return_val(vcpu, val);
arch/x86/kvm/vmx/tdx.c
1972
tdvmcall_set_return_val(vcpu, kvm_read_edx_eax(vcpu));