X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_sym_iface.c;fp=palacios%2Fsrc%2Fpalacios%2Fvmm_sym_iface.c;h=2a3caf0adba46317041b360276d0d3075f9799ac;hp=43d62c58e2a9b4bc6b8db4b150d6fcb724cdf4f7;hb=28cfe68985ef4360c9bd7428a19c222b295e9d85;hpb=e67f90ff8dbf5b58cd4930eba8b9907ea6a12d03

diff --git a/palacios/src/palacios/vmm_sym_iface.c b/palacios/src/palacios/vmm_sym_iface.c
index 43d62c5..2a3caf0 100644
--- a/palacios/src/palacios/vmm_sym_iface.c
+++ b/palacios/src/palacios/vmm_sym_iface.c
@@ -237,9 +237,8 @@ static int sym_call_err(struct guest_info * info, uint_t hcall_id, void * privat
 static int sym_call_ret(struct guest_info * info, uint_t hcall_id, void * private_data) {
     struct v3_sym_state * state = (struct v3_sym_state *)&(info->sym_state);
 
-    PrintError("Return from sym call\n");
-    v3_print_guest_state(info);
-    v3_print_mem_map(info);
+    //    PrintError("Return from sym call\n");
+    //   v3_print_guest_state(info);
 
     state->sym_call_returned = 1;
 
@@ -269,8 +268,8 @@ int v3_sym_call(struct guest_info * info,
     struct v3_segment sym_ss;
     uint64_t trash_args[5] = { [0 ... 4] = 0 };
 
-    PrintDebug("Making Sym call\n");
-    v3_print_guest_state(info);
+    //   PrintDebug("Making Sym call\n");
+    //    v3_print_guest_state(info);
 
     if ((state->sym_page->sym_call_enabled == 0) ||
 	(state->sym_call_active == 1)) {
@@ -318,8 +317,8 @@ int v3_sym_call(struct guest_info * info,
     state->sym_call_active = 1;
     state->sym_call_returned = 0;
 
-    PrintDebug("Sym state\n");
-    v3_print_guest_state(info);
+    //    PrintDebug("Sym state\n");
+    //  v3_print_guest_state(info);
 
     // Do the sym call entry
     if (execute_symcall(info) == -1) {
@@ -348,8 +347,8 @@ int v3_sym_call(struct guest_info * info,
 
 
 
-    PrintDebug("restoring guest state\n");
-    v3_print_guest_state(info);
+    //    PrintDebug("restoring guest state\n");
+    //    v3_print_guest_state(info);
 
     return 0;
 }