Output iovec length in vmsplice and process_vm_readv decoders

* io.c (sys_vmsplice): Output iovec length.
* process.c (sys_process_vm_readv): Likewise.
diff --git a/process.c b/process.c
index a6705ec..39e6f78 100644
--- a/process.c
+++ b/process.c
@@ -2754,22 +2754,23 @@
 		/* arg 1: pid */
 		tprintf("%ld, ", tcp->u_arg[0]);
 	} else {
-		/* args 2,3: local iov,cnt */
+		/* arg 2: local iov */
 		if (syserror(tcp)) {
-			tprintf("%#lx, %lu",
-					tcp->u_arg[1], tcp->u_arg[2]);
+			tprintf("%#lx", tcp->u_arg[1]);
 		} else {
 			tprint_iov(tcp, tcp->u_arg[2], tcp->u_arg[1], 1);
 		}
-		tprints(", ");
-		/* args 4,5: remote iov,cnt */
+		/* arg 3: local iovcnt */
+		tprintf(", %lu, ", tcp->u_arg[2]);
+		/* arg 4: remote iov */
 		if (syserror(tcp)) {
-			tprintf("%#lx, %lu", tcp->u_arg[3], tcp->u_arg[4]);
+			tprintf("%#lx", tcp->u_arg[3]);
 		} else {
 			tprint_iov(tcp, tcp->u_arg[4], tcp->u_arg[3], 0);
 		}
+		/* arg 5: remote iovcnt */
 		/* arg 6: flags */
-		tprintf(", %lu", tcp->u_arg[5]);
+		tprintf(", %lu, %lu", tcp->u_arg[4], tcp->u_arg[5]);
 	}
 	return 0;
 }