DFSR_SOURCE_SYNC_EXTERNAL_TRANSLATION_L1 90 kernel/arch/arm32/src/mm/page_fault.c case DFSR_SOURCE_SYNC_EXTERNAL_TRANSLATION_L1: DFSR_SOURCE_SYNC_EXTERNAL_TRANSLATION_L1 213 kernel/arch/arm32/src/mm/page_fault.c case DFSR_SOURCE_SYNC_EXTERNAL_TRANSLATION_L1:HelenOS homepage, sources at GitHub