From: Peter Dinda Date: Wed, 1 Jul 2015 22:35:24 +0000 (-0500) Subject: Cleanup based on cppcheck pass (GEARS) X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=3c8719220338a2d91af469c6e6df9075b46b7d3e;p=palacios.git Cleanup based on cppcheck pass (GEARS) --- 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); diff --git a/gears/services/devfile/devfile_preload.c b/gears/services/devfile/devfile_preload.c index fea7a6e..c7d80ef 100644 --- a/gears/services/devfile/devfile_preload.c +++ b/gears/services/devfile/devfile_preload.c @@ -29,6 +29,7 @@ int touch_ptr(volatile char* ptr, int size) { int i; for(i=0;i