HelenOS sources

RAS_START          59 kernel/arch/arm32/src/ras.c 	ras_page[RAS_START] = 0;
RAS_START          69 kernel/arch/arm32/src/ras.c 		if (ras_page[RAS_START]) {
RAS_START          70 kernel/arch/arm32/src/ras.c 			if ((ras_page[RAS_START] < istate->pc) &&
RAS_START          73 kernel/arch/arm32/src/ras.c 				restart_pc = ras_page[RAS_START];
RAS_START          75 kernel/arch/arm32/src/ras.c 			ras_page[RAS_START] = 0;