PMAP_EMULATE_AD_BITS
return ((pmap->pm_flags & PMAP_EMULATE_AD_BITS) != 0);
ept_pmap_flags |= PMAP_EMULATE_AD_BITS;