fix splice syscall displaying

[Марк Коренберг]

splice(0x4, 0, 0x9, 0, 0x10000, 0x3) = 2
splice(0x7, 0, 0x6, 0, 0x2, 0x3) = 2

Why the "splice" show file descriptors in hex mode, while other
syscalls display in decimal mode?
please fix splice.

Also, please define splice flags (last argument):
mmarkk at mmarkk-work:~$ fgrep SPLICE_F /usr/include -r
/usr/include/bits/fcntl.h:# define SPLICE_F_MOVE                1
/usr/include/bits/fcntl.h:# define SPLICE_F_NONBLOCK    2
/usr/include/bits/fcntl.h:# define SPLICE_F_MORE                4
/usr/include/bits/fcntl.h:# define SPLICE_F_GIFT                8


It seems, that "tee" and "vmsplice" syscalls should be patched in same way.

-- 
Segmentation fault