Index: /trunk/ccl/lisp-kernel/x86-exceptions.c
===================================================================
--- /trunk/ccl/lisp-kernel/x86-exceptions.c	(revision 6263)
+++ /trunk/ccl/lisp-kernel/x86-exceptions.c	(revision 6264)
@@ -873,5 +873,6 @@
 raise_pending_interrupt(TCR *tcr)
 {
-  if (TCR_INTERRUPT_LEVEL(tcr) > 0) {
+  if ((TCR_INTERRUPT_LEVEL(tcr) >= 0) &&
+      (tcr->interrupt_pending)) {
     pthread_kill((pthread_t)(tcr->osid), SIGNAL_FOR_PROCESS_INTERRUPT);
   }