On Fri, 2024-07-05 at 11:00 +0800, Binbin Wu wrote: > > On 6/19/2024 9:23 AM, Huang, Kai wrote: > [...] > > > > > furthermore the alignement checks > > > suggest it's actually some sanity checking function. Furthermore if we > > > have:" > > > > > > ORDINARY_CMR,EMPTY_CMR,ORDINARY_CMR > > > > > > (Is such a scenario even possible), in this case we'll ommit also the > > > last ordinary cmr region? > > It cannot happen. > > > > The fact is: > > > > 1) CMR base/size are 4KB aligned. This is architectural behaviour. > > 2) TDX architecturally supports 32 CMRs maximumly; > Do you think it's worth a comment to the definition of TDX_MAX_CMRS that > the number is architectural? > OK will do. thanks.
