Cleanup based on cppcheck pass (GEARS)

Author: PeterDinda

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);

gears/services/devfile/devfile_preload.c

@@ -29,6 +29,7 @@ int touch_ptr(volatile char* ptr, int size)
 {
     int i;
     for(i=0;i<size;i+=4096){
+	// both read and write it
         ptr[i] = ptr[i];
     }
     return 0;