HelenOS sources

AR_EXECUTE        248 kernel/arch/ia64/src/mm/page.c 	v->present.ar |= (flags & PAGE_EXEC) ? AR_EXECUTE : 0;
AR_EXECUTE        455 kernel/arch/ia64/src/mm/tlb.c 	entry.ar = t->x ? (AR_EXECUTE | AR_READ) : AR_READ;
AR_EXECUTE         67 kernel/test/mm/purge1.c 	entryi.ar = AR_READ | AR_EXECUTE;
HelenOS homepage, sources at GitHub