Index: /trunk/source/lisp-kernel/arm-spentry.s
===================================================================
--- /trunk/source/lisp-kernel/arm-spentry.s	(revision 15337)
+++ /trunk/source/lisp-kernel/arm-spentry.s	(revision 15338)
@@ -2939,5 +2939,12 @@
         
 
-               
+_spentry(eabi_ff_callhf)
+        __(add imm0,sp,#8)
+        __(fldmfdd imm0,{d0-d7})
+        __(ldmia sp,{imm0-imm1})
+        __(sub imm0,imm0,#(16<<num_subtag_bits))
+        __(add imm2,sp,#16<<2)
+        __(stm imm2,{imm0-imm1})
+        __(mov sp,imm2)
 _spentry(eabi_ff_call)
         __(ldr arg_y,[rcontext,#tcr.last_lisp_frame])
@@ -4746,4 +4753,5 @@
         .long _SPdebind
         .long _SPeabi_callback
+        .long _SPeabi_ff_callhf
 local_label(end):       
         	_endfile