added symbiotic interface

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

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