X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_hypercall.c;h=65749c147a24597ce2a07c641d187b6a306491e3;hp=f3169a7864cbd7f89f51b026d632e2e52996d44f;hb=123a1ba27ea09c8fa77a1b36ce625b43d7c48b14;hpb=266af4b5b19da7bee8e7445288c7c1cb3ee194c7

diff --git a/palacios/src/palacios/vmm_hypercall.c b/palacios/src/palacios/vmm_hypercall.c
index f3169a7..65749c1 100644
--- a/palacios/src/palacios/vmm_hypercall.c
+++ b/palacios/src/palacios/vmm_hypercall.c
@@ -19,7 +19,7 @@
 
 #include <palacios/vmm_hypercall.h>
 #include <palacios/vmm.h>
-
+#include <palacios/vm_guest.h>
 
 void v3_init_hypercall_map(struct guest_info * info) {
     info->hcall_map.rb_node = NULL;
@@ -119,7 +119,8 @@ int v3_handle_hypercall(struct guest_info * info) {
     struct hypercall * hcall = get_hypercall(info, hypercall_id);
 
     if (!hcall) {
-	PrintError("Invalid Hypercall (%d not registered)\n", hypercall_id);
+	PrintError("Invalid Hypercall (%d(0x%x) not registered)\n", 
+		   hypercall_id, hypercall_id);
 	return -1;
     }