DFSR_SOURCE_MASK 122 kernel/arch/arm32/src/mm/page_fault.c case DFSR_SOURCE_MASK: DFSR_SOURCE_MASK 202 kernel/arch/arm32/src/mm/page_fault.c const dfsr_source_t source = fsr.raw & DFSR_SOURCE_MASK; DFSR_SOURCE_MASK 229 kernel/arch/arm32/src/mm/page_fault.c case DFSR_SOURCE_MASK:HelenOS homepage, sources at GitHub