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;
HelenOS homepage, sources at GitHub