tree 25bbe931f6d7d8ccbdf6d6a882320770fa4f0df2
parent e96cb621fa7dc898f83d8afdaa7579cc54a115b0
author Dmitry V. Levin <ldv@altlinux.org> 1424210445 +0000
committer Dmitry V. Levin <ldv@altlinux.org> 1424210445 +0000

Use printnum_int consistently

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