On Fri, 2025-05-16 at 11:03 +0800, Yan Zhao wrote: > > Hmm, did you consider changing tdh_phymem_page_wbinvd_hkid()? It's the > > pattern > > of KVM wrapping the SEAMCALL helpers to do some more work that needs to be > > wrapped. > SEAMCALL TDH_PHYMEM_PAGE_WBINVD only accepts a 4KB page. > Will move the loop from KVM to the wrapper in x86 if you think it's better. Don't wrap the wrappers was a suggestion from Dave. Let's try it.