Index: /trunk/ccl/lisp-kernel/x86-exceptions.c
===================================================================
--- /trunk/ccl/lisp-kernel/x86-exceptions.c	(revision 5961)
+++ /trunk/ccl/lisp-kernel/x86-exceptions.c	(revision 5962)
@@ -1552,5 +1552,10 @@
       /* Fall through */
     case ID_load_allocptr_reg_from_tcr_save_allocptr_instruction:
-      tcr->save_allocptr = (void *)(VOID_ALLOCPTR-disp);
+      if (interrupt_displacement) {
+        tcr->save_allocptr += disp;
+        *interrupt_displacement = disp;
+      } else {
+        tcr->save_allocptr = (void *)(VOID_ALLOCPTR-disp);
+      }
       break;
     }