Changes in kernel/arch/arm32/src/ras.c [e2a0d76:b55877d] in mainline

File:

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

kernel/arch/arm32/src/ras.c

@@ -51 +51 @@
 void ras_init(void)
 {
-        uintptr_t frame = frame_alloc(ONE_FRAME,
-            FRAME_ATOMIC | FRAME_HIGHMEM, 0);
+        uintptr_t frame;
+
+        frame = (uintptr_t) frame_alloc(ONE_FRAME,
+            FRAME_ATOMIC | FRAME_HIGHMEM);
         if (!frame)
-                frame = frame_alloc(ONE_FRAME, FRAME_LOWMEM, 0);
-        
+                frame = (uintptr_t) frame_alloc(ONE_FRAME, FRAME_LOWMEM);
         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;