DFSR_SOURCE_SYNC_EXTERNAL_TRANSLATION_L2 92 kernel/arch/arm32/src/mm/page_fault.c case DFSR_SOURCE_SYNC_EXTERNAL_TRANSLATION_L2: DFSR_SOURCE_SYNC_EXTERNAL_TRANSLATION_L2 214 kernel/arch/arm32/src/mm/page_fault.c case DFSR_SOURCE_SYNC_EXTERNAL_TRANSLATION_L2:HelenOS homepage, sources at GitHub