fixed debug output

diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c
index 28967fb..2f11c0c 100644 (file)
--- a/palacios/src/palacios/svm.c
+++ b/palacios/src/palacios/svm.c
@@ -264,6 +264,7 @@ static int init_svm_guest(struct guest_info *info) {
 static int start_svm_guest(struct guest_info *info) {
   vmcb_saved_state_t * guest_state = GET_VMCB_SAVE_STATE_AREA((vmcb_t*)(info->vmm_data));
   vmcb_ctrl_t * guest_ctrl = GET_VMCB_CTRL_AREA((vmcb_t*)(info->vmm_data));
+  uint_t num_exits = 0;
 
   PrintDebug("Launching SVM VM (vmcb=%x)\n", info->vmm_data);
   //PrintDebugVMCB((vmcb_t*)(info->vmm_data));
@@ -287,9 +288,14 @@ static int start_svm_guest(struct guest_info *info) {
 
 
     v3_update_time(info, tmp_tsc - info->time_state.cached_host_tsc);
+    num_exits++;
 
     STGI();
 
+    if ((num_exits % 25) == 0) {
+      PrintDebug("SVM Exit number %d\n", num_exits);
+    }
+
      
     if (handle_svm_exit(info) != 0) {