HelenOS sources

PTE_DESCRIPTOR_NOT_PRESENT  118 kernel/arch/arm32/include/arch/mm/page_armv4.h #define PTE_DESCRIPTOR_NOT_PRESENT	0
PTE_DESCRIPTOR_NOT_PRESENT  116 kernel/arch/arm32/include/arch/mm/page_armv6.h #define PTE_DESCRIPTOR_NOT_PRESENT	0