On 01/16/2018 08:36 AM, Joerg Roedel wrote: > > In PAE page-tables at the top-level most bits we usually set > with _KERNPG_TABLE are reserved, resulting in a #GP when > they are loaded by the processor.
Can you save me the trip to the SDM and remind me which bits actually cause trouble here?
