diff --git a/vl.c b/vl.c
index 87ffb07..a443034 100644
--- a/vl.c
+++ b/vl.c
@@ -8182,7 +8182,7 @@
                             timeout = 0;
                     }
                 } else {
-                    timeout = 10;
+                    timeout = 5000;
                 }
             } else {
                 timeout = 0;
@@ -8192,7 +8192,7 @@
                 ret = EXCP_INTERRUPT;
                 break;
             }
-            timeout = 10;
+            timeout = 5000;
         }
 #ifdef CONFIG_PROFILER
         ti = profile_getclock();