sys_timerfd_settime(struct tcb *tcp)
{
if (entering(tcp)) {
- tprintf("%ld, ", tcp->u_arg[0]);
+ printfd(tcp, tcp->u_arg[0]);
+ tprintf(", ");
printflags(timerfdflags, tcp->u_arg[1], "TFD_???");
tprintf(", ");
printitv(tcp, tcp->u_arg[2]);
sys_timerfd_gettime(struct tcb *tcp)
{
if (entering(tcp)) {
- tprintf("%ld, ", tcp->u_arg[0]);
+ printfd(tcp, tcp->u_arg[0]);
tprintf(", ");
printitv(tcp, tcp->u_arg[1]);
}