X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_hypercall.c;h=3dc49f201d3ac7fecbc8f088893e338b7aa0d2c8;hp=f3169a7864cbd7f89f51b026d632e2e52996d44f;hb=cd012ba87f57c1c694038f1a17f249f90f9a2be8;hpb=ed8feff1d5dd6bf028cd5ba0960ec125505d7597

diff --git a/palacios/src/palacios/vmm_hypercall.c b/palacios/src/palacios/vmm_hypercall.c
index f3169a7..3dc49f2 100644
--- a/palacios/src/palacios/vmm_hypercall.c
+++ b/palacios/src/palacios/vmm_hypercall.c
@@ -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;
     }