Index: /trunk/ccl/lisp-kernel/thread_manager.c
===================================================================
--- /trunk/ccl/lisp-kernel/thread_manager.c	(revision 6217)
+++ /trunk/ccl/lisp-kernel/thread_manager.c	(revision 6218)
@@ -674,4 +674,5 @@
     tcr->tlb_limit = 0;
     tcr->osid = 0;
+    tcr->interrupt_pending = 0;
     termination_semaphore = tcr->termination_semaphore;
     tcr->termination_semaphore = NULL;