diff --git a/vl.c b/vl.c
index 9819916..ea46bdc 100644
--- a/vl.c
+++ b/vl.c
@@ -875,6 +875,9 @@
                            qemu_get_clock(rt_clock))) {
         /* stop the cpu because a timer occured */
         cpu_interrupt(global_env, CPU_INTERRUPT_EXIT);
+#ifdef USE_KQEMU
+        kqemu_cpu_interrupt(global_env);
+#endif
     }
 }