DFSR_SOURCE_SYNC_EXTERNAL 108 kernel/arch/arm32/src/mm/page_fault.c case DFSR_SOURCE_SYNC_EXTERNAL: DFSR_SOURCE_SYNC_EXTERNAL 222 kernel/arch/arm32/src/mm/page_fault.c case DFSR_SOURCE_SYNC_EXTERNAL: