Ignore:
Timestamp:
Aug 14, 2010, 2:16:16 PM (9 years ago)
Author:
gb
Message:

is_write_fault() returns true if the 0x800 bit is set in the fsr.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/source/lisp-kernel/arm-exceptions.c

    r14169 r14190  
    813813is_write_fault(ExceptionInformation *xp, siginfo_t *info)
    814814{
    815 #ifdef LINUX
    816   /* Based on experiments with a small sample size; need to R TFM. */
    817   return ((xp->uc_mcontext.trap_no == 0xe) &&
    818           ((xp->uc_mcontext.error_code & 0xfffffff7) == 0x817));
    819 #endif
     815  return ((xpFaultStatus(xp) & 0x800) != 0);
    820816}
    821817
Note: See TracChangeset for help on using the changeset viewer.