HelenOS sources

DFSR_SOURCE_PERMISSION_L2   84 kernel/arch/arm32/src/mm/page_fault.c 	case DFSR_SOURCE_PERMISSION_L2:
DFSR_SOURCE_PERMISSION_L2  208 kernel/arch/arm32/src/mm/page_fault.c 	case DFSR_SOURCE_PERMISSION_L2:
HelenOS homepage, sources at GitHub