Use printnum_int consistently

* sock.c (sock_ioctl): Use printnum_int instead of printnum to print
integer type.
* stream.c (sys_getpmsg): Likewise.

diff --git a/sock.c b/sock.c
index ef6def454a39c81607f11ea9d90f153c1d6442c7..6043607c5632a0163f90e899a46546a775ae7d04 100644 (file)
--- a/sock.c
+++ b/sock.c
@@ -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:

diff --git a/stream.c b/stream.c
index ceb9e2d60fcb116581826c325aa50d62885212ea..2aa6366c45f4825debd9606432dfb2661d84a97b 100644 (file)
--- a/stream.c
+++ b/stream.c
@@ -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)