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

File:

• kernel/arch/arm32/src/ras.c (modified) (3 diffs)

kernel/arch/arm32/src/ras.c

@@ -67 +67 @@
 void ras_check(unsigned int n, istate_t *istate)
 {
-        bool restart = false;
+        bool restart_needed = false;
+        uintptr_t restart_pc = 0;
 
         if (istate_from_uspace(istate)) {
@@ -73 +74 @@
                         if ((ras_page[RAS_START] < istate->pc) &&
                             (ras_page[RAS_END] > istate->pc)) {
-                                restart = true;
+                                restart_needed = true;
+                                restart_pc = ras_page[RAS_START];
                         }
                         ras_page[RAS_START] = 0;
@@ -81 +83 @@
 
         exc_dispatch(n, istate);
-        if (restart)
-                istate->pc = ras_page[RAS_START];
+        if (restart_needed)
+                istate->pc = restart_pc;
 }