HelenOS sources

PTE_DESCRIPTOR_SMALL_PAGE_NX   53 kernel/arch/arm32/include/arch/mm/page_armv6.h 	(((pte_t *) (pte))->l1.descriptor_type != PTE_DESCRIPTOR_SMALL_PAGE_NX)
PTE_DESCRIPTOR_SMALL_PAGE_NX  191 kernel/arch/arm32/include/arch/mm/page_armv6.h 	    ((dt != PTE_DESCRIPTOR_SMALL_PAGE_NX) << PAGE_EXEC_SHIFT) |
PTE_DESCRIPTOR_SMALL_PAGE_NX  251 kernel/arch/arm32/include/arch/mm/page_armv6.h 			p->descriptor_type = PTE_DESCRIPTOR_SMALL_PAGE_NX;