debugging tweaks and minor fixes

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

diff --git a/palacios/src/palacios/vmm_sym_iface.c b/palacios/src/palacios/vmm_sym_iface.c
index 2a3caf0..8395955 100644 (file)
--- a/palacios/src/palacios/vmm_sym_iface.c
+++ b/palacios/src/palacios/vmm_sym_iface.c
@@ -22,6 +22,7 @@
 #include <palacios/vmm_msr.h>
 #include <palacios/vmm_mem.h>
 #include <palacios/vmm_hypercall.h>
+#include <palacios/vm_guest.h>
 
 #define SYM_PAGE_MSR 0x535
 
@@ -237,7 +238,7 @@ 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");
+    //    PrintError("Return from sym call (ID=%x)\n", hcall_id);
     //   v3_print_guest_state(info);
 
     state->sym_call_returned = 1;
@@ -324,7 +325,7 @@ int v3_sym_call(struct guest_info * info,
     if (execute_symcall(info) == -1) {
        PrintError("SYMCALL error\n");
        return -1;
-    } 
+    }
 
     // clear sym flags
     state->sym_call_active = 0;
@@ -347,7 +348,7 @@ int v3_sym_call(struct guest_info * info,
 
 
 
-    //    PrintDebug("restoring guest state\n");
+    //    PrintError("restoring guest state\n");
     //    v3_print_guest_state(info);
 
     return 0;