some fixes for profiling

[palacios.git] / palacios / src / palacios / svm.c

diff --git a/palacios/src/palacios/svm.c b/palacios/src/palacios/svm.c
index 986bec8..2621fcb 100644 (file)
--- a/palacios/src/palacios/svm.c
+++ b/palacios/src/palacios/svm.c
@@ -385,7 +385,7 @@ static int start_svm_guest(struct guest_info *info) {
     v3_stgi();
 
 
-    if ((num_exits % 1000) == 0) {
+    if ((num_exits % 5000) == 0) {
       PrintDebug("SVM Exit number %d\n", num_exits);
       v3_print_profile(info);
     }