PTE_UX
flags &= ~(PTE_UW | PTE_UX | PTE_SW | PTE_SX | PTE_MODIFIED);
flags |= PTE_UX;
if ((*pte & (PTE_UX | PTE_SX)) == 0)