diff --git a/tools/debugger/xenitp/xenitp.c b/tools/debugger/xenitp/xenitp.c
index bc82ee6a23..5bd366e4fa 100644
--- a/tools/debugger/xenitp/xenitp.c
+++ b/tools/debugger/xenitp/xenitp.c
@@ -1577,6 +1577,7 @@ void xenitp (int vcpu)
         int len;
 
         printf ("XenITP> ");
+        fflush (stdout);
 
         if (fgets (buf, sizeof (buf), stdin) == NULL)
             break;