HelenOS sources

PTE_EXECUTABLE    203 kernel/arch/sparc64/src/mm/sun4u/tlb.c 	if (found && PTE_EXECUTABLE(&t)) {
PTE_EXECUTABLE    217 kernel/arch/sparc64/src/mm/sun4v/tlb.c 	if (found && PTE_EXECUTABLE(&t)) {
PTE_EXECUTABLE    365 kernel/genarch/src/mm/page_pt.c 	assert(PTE_EXECUTABLE(t) == PTE_EXECUTABLE(pte));
PTE_EXECUTABLE   1565 kernel/generic/src/mm/as.c 		    (access == PF_ACCESS_EXEC && PTE_EXECUTABLE(&pte))) {