Use printnum_int consistently

* sock.c (sock_ioctl): Use printnum_int instead of printnum to print
integer type.
* stream.c (sys_getpmsg): Likewise.
This commit is contained in:
Дмитрий Левин 2015-02-17 22:00:45 +00:00
parent e96cb621fa
commit f55cca729f
2 changed files with 2 additions and 2 deletions

2
sock.c
View File

@ -117,7 +117,7 @@ sock_ioctl(struct tcb *tcp, const unsigned int code, long arg)
#ifdef SIOCATMARK
case SIOCATMARK:
#endif
printnum(tcp, arg, ", %#d");
printnum_int(tcp, arg, ", %#d");
case SIOCSIFNAME:
return 1;
case SIOCGIFNAME:

View File

@ -190,7 +190,7 @@ sys_getpmsg(struct tcb *tcp)
for (i = 1; i < 3; i++)
printstrbufarg(tcp, tcp->u_arg[i], 1);
/* pointer to band */
printnum(tcp, tcp->u_arg[3], "%d");
printnum_int(tcp, tcp->u_arg[3], "%d");
tprints(", ");
/* pointer to flags */
if (tcp->u_arg[4] == 0)