diff --git a/src/sim/syscall_emul.hh b/src/sim/syscall_emul.hh
index 892d9d7..7996027 100644
--- a/src/sim/syscall_emul.hh
+++ b/src/sim/syscall_emul.hh
@@ -754,7 +754,7 @@
     int tgt_fd = p->getSyscallArg(tc, index);
     unsigned req = p->getSyscallArg(tc, index);
 
-    DPRINTF(SyscallVerbose, "ioctl(%d, 0x%x, ...)\n", tgt_fd, req);
+    DPRINTF_SYSCALL(Verbose, "ioctl(%d, 0x%x, ...)\n", tgt_fd, req);
 
     if (OS::isTtyReq(req))
         return -ENOTTY;
@@ -2741,10 +2741,9 @@
     Addr rusagePtr = p->getSyscallArg(tc, index);
 
     if (rusagePtr)
-        DPRINTFR(SyscallVerbose,
-                 "%d: %s: syscall wait4: rusage pointer provided however "
+        DPRINTF_SYSCALL(Verbose, "wait4: rusage pointer provided %lx, however "
                  "functionality not supported. Ignoring rusage pointer.\n",
-                 curTick(), tc->getCpuPtr()->name());
+                 rusagePtr);
 
     /**
      * Currently, wait4 is only implemented so that it will wait for children