HelenOS sources

PTE_DESCRIPTOR_SMALL_PAGE  124 kernel/arch/arm32/include/arch/mm/page_armv4.h #define PTE_DESCRIPTOR_SMALL_PAGE	2
PTE_DESCRIPTOR_SMALL_PAGE  122 kernel/arch/arm32/include/arch/mm/page_armv6.h #define PTE_DESCRIPTOR_SMALL_PAGE	2