HelenOS sources

PTE_DESCRIPTOR_COARSE_TABLE  192 kernel/arch/arm32/include/arch/mm/page_armv4.h 		p->descriptor_type = PTE_DESCRIPTOR_COARSE_TABLE;
PTE_DESCRIPTOR_COARSE_TABLE  244 kernel/arch/arm32/include/arch/mm/page_armv4.h 	p->descriptor_type = PTE_DESCRIPTOR_COARSE_TABLE;
PTE_DESCRIPTOR_COARSE_TABLE  221 kernel/arch/arm32/include/arch/mm/page_armv6.h 		p->descriptor_type = PTE_DESCRIPTOR_COARSE_TABLE;
PTE_DESCRIPTOR_COARSE_TABLE  305 kernel/arch/arm32/include/arch/mm/page_armv6.h 	p->descriptor_type = PTE_DESCRIPTOR_COARSE_TABLE;