HelenOS sources

PTE_EXECUTABLE     57 kernel/genarch/include/genarch/mm/page_ht.h #define PTE_EXECUTABLE(pte)  ((pte)->x != 0)
PTE_EXECUTABLE    140 kernel/genarch/include/genarch/mm/page_pt.h #define PTE_EXECUTABLE(p)  PTE_EXECUTABLE_ARCH((p))