Re: [PATCH] x86/kvm/tdx: Save %rbp in TDX_MODULE_CALL

[Dave Hansen]

On 5/17/24 08:58, Juergen Gross wrote:
> On 17.05.24 17:52, Dave Hansen wrote:
..
>> Once we have the specific TDX module version, we can go ask the folks
>> who write it if there were any RBP clobbering bugs.
> 
> Okay, how to get the TDX module version?

You need something like this:

> https://lore.kernel.org/all/20231012134136.1310650-1-yi.sun@xxxxxxxxx/

.. and yeah, this needs to be upstream.