On Mon, 2024-07-15 at 18:21 -0700, isaku.yamahata@xxxxxxxxx wrote: > From: Isaku Yamahata <isaku.yamahata@xxxxxxxxx> > > Prepare for TDX support by making kvm_mmu_max_gfn() configurable. Have > this preparation also be useful by non-TDX changes to improve correctness > associated with the combination of 4-level EPT and MAXPA > 48. The issue > is analyzed at [1]. It looks like the part where you were going to describe the TDX and other testing got left off, can elaborate?