Changes in kernel/arch/arm32/src/userspace.c [82a04c6:e762b43] in mainline

File:

• kernel/arch/arm32/src/userspace.c (modified) (2 diffs)

kernel/arch/arm32/src/userspace.c

@@ -35 +35 @@
 
 #include <userspace.h>
-#include <arch/ras.h>
 
 /** Struct for holding all general purpose registers.
@@ -75 +74 @@
         ustate.r1 = 0;
 
-        /* pass the RAS page address in %r2 */
-        ustate.r2 = (uintptr_t) ras_page;
-
         /* clear other registers */
-        ustate.r3  = ustate.r4  = ustate.r5 = ustate.r6 = ustate.r7 =
-            ustate.r8 = ustate.r9 = ustate.r10 = ustate.r11 = ustate.r12 =
-            ustate.lr = 0;
+        ustate.r2 = ustate.r3  = ustate.r4  = ustate.r5 =
+            ustate.r6  = ustate.r7  = ustate.r8  = ustate.r9 = ustate.r10 = 
+            ustate.r11 = ustate.r12 = ustate.lr = 0;
 
         /* set user stack */