HelenOS sources

PTE_DESCRIPTOR_SMALL_PAGE  215 kernel/arch/arm32/include/arch/mm/page_armv4.h 		p->descriptor_type = PTE_DESCRIPTOR_SMALL_PAGE;
PTE_DESCRIPTOR_SMALL_PAGE  251 kernel/arch/arm32/include/arch/mm/page_armv4.h 	p->descriptor_type = PTE_DESCRIPTOR_SMALL_PAGE;
PTE_DESCRIPTOR_SMALL_PAGE  249 kernel/arch/arm32/include/arch/mm/page_armv6.h 			p->descriptor_type = PTE_DESCRIPTOR_SMALL_PAGE;
PTE_DESCRIPTOR_SMALL_PAGE  313 kernel/arch/arm32/include/arch/mm/page_armv6.h 	p->descriptor_type = PTE_DESCRIPTOR_SMALL_PAGE;