Index: /trunk/source/lisp-kernel/arm-exceptions.c
===================================================================
--- /trunk/source/lisp-kernel/arm-exceptions.c	(revision 14189)
+++ /trunk/source/lisp-kernel/arm-exceptions.c	(revision 14190)
@@ -813,9 +813,5 @@
 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);
 }