Changeset 14190

Timestamp:

Aug 14, 2010, 7:16:16 AM (14 years ago)

Author:

Gary Byers

Message:

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

File:

• trunk/source/lisp-kernel/arm-exceptions.c (modified) (1 diff)

trunk/source/lisp-kernel/arm-exceptions.c

@@ -813 +813 @@
 is_write_fault(ExceptionInformation *xp, siginfo_t *info)
 {
-#ifdef LINUX
-  /* Based on experiments with a small sample size; need to R TFM. */
-  return ((xp->uc_mcontext.trap_no == 0xe) &&
-          ((xp->uc_mcontext.error_code & 0xfffffff7) == 0x817));
-#endif
+  return ((xpFaultStatus(xp) & 0x800) != 0);
 }