HelenOS sources

PTE_EXECUTABLE_ARCH  125 kernel/arch/abs32le/include/arch/mm/page.h #define PTE_EXECUTABLE_ARCH(p)  1
PTE_EXECUTABLE_ARCH  154 kernel/arch/amd64/include/arch/mm/page.h #define PTE_EXECUTABLE_ARCH(p) \
PTE_EXECUTABLE_ARCH   55 kernel/arch/arm32/include/arch/mm/page_armv4.h #define PTE_EXECUTABLE_ARCH(pte) \
PTE_EXECUTABLE_ARCH   52 kernel/arch/arm32/include/arch/mm/page_armv6.h #define PTE_EXECUTABLE_ARCH(pte) \
PTE_EXECUTABLE_ARCH  158 kernel/arch/arm64/include/arch/mm/page.h #define PTE_EXECUTABLE_ARCH(pte) \
PTE_EXECUTABLE_ARCH  141 kernel/arch/ia32/include/arch/mm/page.h #define PTE_EXECUTABLE_ARCH(p)  1
PTE_EXECUTABLE_ARCH  145 kernel/arch/mips32/include/arch/mm/page.h #define PTE_EXECUTABLE_ARCH(pte)	1
PTE_EXECUTABLE_ARCH  145 kernel/arch/ppc32/include/arch/mm/page.h #define PTE_EXECUTABLE_ARCH(pte)  1
PTE_EXECUTABLE_ARCH  159 kernel/arch/riscv64/include/arch/mm/page.h #define PTE_EXECUTABLE_ARCH(pte)  ((pte)->executable != 0)
HelenOS homepage, sources at GitHub