HelenOS sources

RAS_END            60 kernel/arch/arm32/src/ras.c 	ras_page[RAS_END] = 0xffffffff;
RAS_END            71 kernel/arch/arm32/src/ras.c 			    (ras_page[RAS_END] > istate->pc)) {
RAS_END            76 kernel/arch/arm32/src/ras.c 			ras_page[RAS_END] = 0xffffffff;