+ if (entering(tcp)) {
+ /* int fd */
+ printfd(tcp, tcp->u_arg[0]);
+ tprints(", ");
+ /* const struct iovec *iov, unsigned long nr_segs */
+ tprint_iov(tcp, tcp->u_arg[2], tcp->u_arg[1], 1);
+ tprintf(", %lu, ", tcp->u_arg[2]);
+ /* unsigned int flags */
+ printflags(splice_flags, tcp->u_arg[3], "SPLICE_F_???");
+ }
+ return 0;
+}
+
+int
+sys_ioctl(struct tcb *tcp)
+{
+ const struct_ioctlent *iop;