Changes in kernel/arch/arm32/src/ras.c [a35b458:1b20da0] in mainline

File:

• kernel/arch/arm32/src/ras.c (modified) (1 diff)

kernel/arch/arm32/src/ras.c

@@ -55 +55 @@
         if (!frame)
                 frame = frame_alloc(1, 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;