On 16/07/19 22:07, Sean Christopherson wrote: >> We are discussing reserved NPF so we need to be at CPL3. > For my own education, why does reserved NPF require CPL3? I.e. what > happens if a reserved bit is encountered at CPL<3 (or do they simply not > exist)? Better: what happens if a reserved bit is encountered at CPL<3 *with CR4.SMEP=0*? Paolo