On 10/12/19 04:53, Huang, Kai wrote:
Right. Alghouth both MKTME and SME/SEV reduce physical bits, but they treat those reduced bits differently: MKTME treats those as keyID thus they can be set, but SME/SEV treats those as reserved bits so you cannot set any of them.
Maybe the naming of shadow_phys_bits is a little bit confusing here. The purpose of it was to determine first reserved bits, but not actual physical address bits . Therefore for MKTME it should include the keyID bits, but for SME/SEV it should not.
Not just the first reserved bit, but _some_ reserved bit such that all consecutive bits up to bit 51 are reserved.
Paolo