757c757
< DPRINTF(SyscallVerbose, "ioctl(%d, 0x%x, ...)\n", tgt_fd, req);
---
> DPRINTF_SYSCALL(Verbose, "ioctl(%d, 0x%x, ...)\n", tgt_fd, req);
2744,2745c2744
< DPRINTFR(SyscallVerbose,
< "%d: %s: syscall wait4: rusage pointer provided however "
---
> DPRINTF_SYSCALL(Verbose, "wait4: rusage pointer provided %lx, however "
2747c2746
< curTick(), tc->getCpuPtr()->name());
---
> rusagePtr);