On Tue, May 31, 2022 at 05:58:39PM +0200, Paolo Bonzini <pbonzini@xxxxxxxxxx> wrote: > On 5/5/22 20:14, isaku.yamahata@xxxxxxxxx wrote: > > From: Isaku Yamahata <isaku.yamahata@xxxxxxxxx> > > > > TDX defines an API to run TDX vcpu with its own ABI. Define an assembly > > helper function to run TDX vcpu to hide the special ABI so that C code can > > call it with function call ABI. > > > > Signed-off-by: Isaku Yamahata <isaku.yamahata@xxxxxxxxx> > > "ret" needs to be "RET" to support SLS mitigation. Thanks for pointing it out. As it's fixed in github repo. will be fixed on the next series. -- Isaku Yamahata <isaku.yamahata@xxxxxxxxx>
