Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/arch/arm32/src/ras.c

    rb55877d r9d58539  
    6767void ras_check(unsigned int n, istate_t *istate)
    6868{
    69         bool restart_needed = false;
    70         uintptr_t restart_pc = 0;
     69        uintptr_t rewrite_pc = istate->pc;
    7170
    7271        if (istate_from_uspace(istate)) {
     
    7473                        if ((ras_page[RAS_START] < istate->pc) &&
    7574                            (ras_page[RAS_END] > istate->pc)) {
    76                                 restart_needed = true;
    77                                 restart_pc = ras_page[RAS_START];
     75                                rewrite_pc = ras_page[RAS_START];
    7876                        }
    7977                        ras_page[RAS_START] = 0;
    8078                        ras_page[RAS_END] = 0xffffffff;
    81                 }
     79                }       
    8280        }
    8381
    8482        exc_dispatch(n, istate);
    85         if (restart_needed)
    86                 istate->pc = restart_pc;
     83
     84        istate->pc = rewrite_pc;
    8785}
    8886
Note: See TracChangeset for help on using the changeset viewer.