HelenOS sources

PTE_DESCRIPTOR_COARSE_TABLE  121 kernel/arch/arm32/include/arch/mm/page_armv4.h #define PTE_DESCRIPTOR_COARSE_TABLE	1
PTE_DESCRIPTOR_COARSE_TABLE  119 kernel/arch/arm32/include/arch/mm/page_armv6.h #define PTE_DESCRIPTOR_COARSE_TABLE	1