Index: /branches/ia32/lisp-kernel/x86-spentry32.s
===================================================================
--- /branches/ia32/lisp-kernel/x86-spentry32.s	(revision 9587)
+++ /branches/ia32/lisp-kernel/x86-spentry32.s	(revision 9588)
@@ -2777,4 +2777,5 @@
 
 _startfn(C(destbind1))
+	__(int $3)
 	__(jmp *%ra0)
 _endfn(C(destbind1))
@@ -3761,19 +3762,4 @@
 LocalLabelPrefix[]ffcall_call:
 	__(call *%eax)
-	/* This kludge pops st(0) and puts it into xmm0. */
-	/* It will probably be better to do this in the ffcall */
-	/* operator in the compiler, since it will know what the */
-	/* result type should be. */
-	__(subl $28,%esp)
-	__(fnstenv (%esp))
-	__(movzwl 8(%esp),%ebx)
-	__(addl $28,%esp)
-	__(testb $3,%bl)
-	__(jne 1f)
-	__(subl $8,%esp)
-	__(fstpl (%esp))
-	__(movsd (%esp),%xmm0)
-	__(addl $8,%esp)
-1:		
 LocalLabelPrefix[]ffcall_call_end:
 	__(movl %ebp,%esp)