Index: kernel/arch/arm32/src/ras.c
===================================================================
--- kernel/arch/arm32/src/ras.c	(revision 8cbf1c333889cf14d44353c7d7d73d9dbf0441a3)
+++ kernel/arch/arm32/src/ras.c	(revision a60e90b77be0a223cc67fdf941b5d620622260c6)
@@ -51,13 +51,12 @@
 void ras_init(void)
 {
-	uintptr_t frame;
-
-	frame = frame_alloc(ONE_FRAME,
+	uintptr_t frame = frame_alloc(ONE_FRAME,
 	    FRAME_ATOMIC | FRAME_HIGHMEM, 0);
 	if (!frame)
 		frame = frame_alloc(ONE_FRAME, FRAME_LOWMEM, 0);
+	
 	ras_page = (uintptr_t *) km_map(frame,
 	    PAGE_SIZE, PAGE_READ | PAGE_WRITE | PAGE_USER | PAGE_CACHEABLE);
-
+	
 	memsetb(ras_page, PAGE_SIZE, 0); 
 	ras_page[RAS_START] = 0;