On 14/12/2017 07:36, Lan Tianyu wrote: >> Thanks, this is the right direction. However, there are many more >> checks that are missing and can trigger more unexpected behavior. > > Yes, we may add these checks step by step. I agree with not fixing everything at the same time; however, EFER.LMA/CS.L checks are more or less all in the same family so they should be done together. I'll wait for v2. Thanks, Paolo >> In particular: >> >> - if EFER.LME=1 and CR0.PG=1, EFER.LMA and CR4.PAE must be 1 >> >> - otherwise, EFER.LMA and CS.L must be 0 > > I will add these in the new version. Thanks.
