HelenOS sources

ras_init           47 kernel/arch/arm32/include/arch/ras.h extern void ras_init(void);
ras_init           99 kernel/arch/arm32/src/arm32.c 	ras_init();