implemented PTE_EX flag checking