X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=gears%2Fservices%2Fdevfile%2Fdevfile_hc.c;h=59c09a106f42931575beedc6cb0781f7c144488f;hb=3c8719220338a2d91af469c6e6df9075b46b7d3e;hp=f4542addb8efd38446d59568e61328d49d3bad28;hpb=de0aa03dbd9812a48cab6d899ab41b7f2cc593b5;p=palacios.git

diff --git a/gears/services/devfile/devfile_hc.c b/gears/services/devfile/devfile_hc.c
index f4542ad..59c09a1 100644
--- a/gears/services/devfile/devfile_hc.c
+++ b/gears/services/devfile/devfile_hc.c
@@ -27,7 +27,7 @@ int dev_file_syscall_hcall(long long sys_code,
     long long bit_vec = sys_pointer_arr[sys_code];
     // Here, IOCTL needs to be handled specially because what 
     // arguments are pointes, etc, depends on the device
-    DEBUG_PRINT("Initiate syscall hypercall, code: %llu\n",sys_code);
+    DEBUG_PRINT("Initiate syscall hypercall, code: %llx\n",sys_code);
     HCALL(rc,cmd,sys_code,a1,a2,a3,a4,a5,a6,bit_vec);
     *sys_errno = cmd;
     DEBUG_PRINT("Syscall Hypercall done: rc = %llx errno = %llx\n",rc, *sys_errno);