gh0s7/mckernel
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

mcctrl/control.c: fix debug print types

Browse Source
This commit is contained in:
Dominique Martinet
2017-09-19 16:46:05 +09:00
committed by Balazs Gerofi
parent 23f178d718
commit 9c0b8aa812
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
executer/kernel/mcctrl/control.c
View File

@@ -1203,7 +1203,7 @@ int mcexec_syscall(struct mcctrl_usrdata *ud, struct ikc_scd_packet *packet)
return -1; return -1;
} }
dprintk("%s: (packet_handler) rtid: %d, ttid: %d, sys nr: %d\n", dprintk("%s: (packet_handler) rtid: %d, ttid: %d, sys nr: %lu\n",
__FUNCTION__, __FUNCTION__,
packet->req.rtid, packet->req.rtid,
packet->req.ttid, packet->req.ttid,
@@ -1373,7 +1373,7 @@ retry_alloc:
} }
packet->req.valid = 0; /* ack */ packet->req.valid = 0; /* ack */
dprintk("%s: system call: %d, args[0]: %lu, args[1]: %lu, args[2]: %lu, " dprintk("%s: system call: %lu, args[0]: %lu, args[1]: %lu, args[2]: %lu, "
"args[3]: %lu, args[4]: %lu, args[5]: %lu\n", "args[3]: %lu, args[4]: %lu, args[5]: %lu\n",
__FUNCTION__, __FUNCTION__,
packet->req.number, packet->req.number,
@@ -1498,7 +1498,7 @@ long mcexec_load_syscall(ihk_os_t os, struct syscall_load_desc *__user arg)
rpm = ihk_device_map_virtual(ihk_os_to_dev(os), phys, desc.size, NULL, 0); rpm = ihk_device_map_virtual(ihk_os_to_dev(os), phys, desc.size, NULL, 0);
#endif #endif
dprintk("mcexec_load_syscall: %s (desc.size: %d)\n", rpm, desc.size); dprintk("mcexec_load_syscall: %p (desc.size: %lu)\n", rpm, desc.size);
if (copy_to_user((void *__user)desc.dest, rpm, desc.size)) { if (copy_to_user((void *__user)desc.dest, rpm, desc.size)) {
return -EFAULT; return -EFAULT;