Index: /branches/arm/lisp-kernel/lisp-debug.c
===================================================================
--- /branches/arm/lisp-kernel/lisp-debug.c	(revision 13728)
+++ /branches/arm/lisp-kernel/lisp-debug.c	(revision 13729)
@@ -700,4 +700,7 @@
               (u64_t) (natural)(xpGPR(xp,Isp))
 #endif           
+#ifdef ARM
+              (u64_t) (natural)(xpGPR(xp,Rsp))
+#endif
               );
     }