Changeset 69c1995 in mainline for kernel/arch/arm32/src/ras.c

Timestamp:

2012-11-29T12:53:45Z (12 years ago)

Author:

Jan Vesely <jano.vesely@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

e80d8f8

Parents:

3194d83 (diff), ce60be1 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge ARM fpu hw support.

File:

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

kernel/arch/arm32/src/ras.c

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