On 6/12/23 17:51, Huang, Kai wrote: > If we introduce a helper to mark a page as TDX private page, Let me get this right: you have working, functional code for a highly-unlikely scenario (kernel bugs or even more rare hardware errors). But, you want to optimize this super-rare case? It's not fast enough? Is there any other motivation here that I'm missing?