PTE_MANAGED
if ((flags & PTE_MANAGED) != 0)
flags |= PTE_MANAGED;
#define PTE_ISMANAGED(pte) ((*pte) & PTE_MANAGED)