sys: don't imply pointer indirection for string arguments

In preparation for extending string functionality
and to make it less magical.

1 files changed, 17 insertions, 17 deletions

diff --git a/sys/sys.txt b/sys/sys.txt
index 8ac03e8dc..13d2d2830 100644
--- a/sys/sys.txt
+++ b/sys/sys.txt
@@ -156,7 +156,7 @@ mlock2(addr vma, size len[addr], flags flags[mlock_flags])
 munlock(addr vma, size len[addr])
 mlockall(flags flags[mlockall_flags])
 munlockall()
-memfd_create(name string, flags flags[memfd_flags]) fd
+memfd_create(name ptr[in, string], flags flags[memfd_flags]) fd
 unshare(flags flags[clone_flags])
 kcmp(pid1 pid, pid2 pid, type flags[kcmp_flags], fd1 fd, fd2 fd)
 
@@ -220,7 +220,7 @@ prctl$intptr(option flags[prctl_code_intptr], arg intptr)
 prctl$getreaper(option flags[prctl_code_getreaper], arg ptr[out, intptr])
 prctl$setendian(option const[PR_SET_ENDIAN], arg flags[prctl_endian])
 prctl$setfpexc(option const[PR_SET_FPEXC], arg flags[prctl_fpexc])
-prctl$setname(option const[PR_SET_NAME], name string)
+prctl$setname(option const[PR_SET_NAME], name ptr[in, string])
 prctl$getname(option const[PR_GET_NAME], name buffer[out])
 prctl$setptracer(option const[PR_SET_PTRACER], pid pid)
 prctl$seccomp(option const[PR_SET_SECCOMP], mode flags[prctl_seccomp_mode], prog ptr[in, sock_fprog])
@@ -230,12 +230,12 @@ arch_prctl(code flags[arch_prctl_code], addr buffer[in])
 seccomp(op flags[seccomp_op], flags flags[seccomp_flags], prog ptr[in, sock_fprog])
 
 resource fd_mq[fd]
-mq_open(name string, flags flags[mq_open_flags], mode flags[open_mode], attr ptr[in, mq_attr]) fd_mq
+mq_open(name ptr[in, string], flags flags[mq_open_flags], mode flags[open_mode], attr ptr[in, mq_attr]) fd_mq
 mq_timedsend(mqd fd_mq, msg buffer[in], msglen len[msg], prio intptr, timeout ptr[in, timespec, opt])
 mq_timedreceive(mqd fd_mq, msg buffer[out], msglen len[msg], prio intptr, timeout ptr[in, timespec, opt])
 mq_notify(mqd fd_mq, notif ptr[in, sigevent])
 mq_getsetattr(mqd fd_mq, attr ptr[in, mq_attr], oldattr ptr[out, mq_attr, opt])
-mq_unlink(name string)
+mq_unlink(name ptr[in, string])
 
 resource ipc[int32]: 0, 0xffffffffffffffff
 resource ipc_msq[ipc]
@@ -350,16 +350,16 @@ mount$fs(src filesystem, dst filename, type filesystem, flags flags[mount_flags]
 umount2(path filename, flags flags[umount_flags])
 pivot_root(new_root filename, put_old filename)
 
-sysfs$1(option flags[sysfs_opt1], fsname string)
+sysfs$1(option flags[sysfs_opt1], fsname ptr[in, string])
 sysfs$2(option flags[sysfs_opt2], fsindex intptr, fsname buffer[out])
 sysfs$3(option flags[sysfs_opt3])
 statfs(path filename, buf buffer[out])
 fstatfs(fd fd, buf buffer[out])
 
 uselib(lib filename)
-init_module(mod string, len len[mod], args string)
-finit_module(fd fd, args string, flags flags[finit_module_flags])
-delete_module(name string, flags flags[delete_module_flags])
+init_module(mod ptr[in, string], len len[mod], args ptr[in, string])
+finit_module(fd fd, args ptr[in, string], flags flags[finit_module_flags])
+delete_module(name ptr[in, string], flags flags[delete_module_flags])
 kexec_load(entry intptr, nr_segments len[segments], segments ptr[in, array[kexec_segment]], flags flags[kexec_load_flags])
 get_kernel_syms(table buffer[out])
 syslog(cmd flags[syslog_cmd], buf buffer[out, opt], len len[buf])
@@ -381,18 +381,18 @@ ioprio_set$pid(which flags[ioprio_which_pid], who pid, prio intptr)
 ioprio_set$uid(which flags[ioprio_which_uid], who uid, prio intptr)
 setns(fd fd, type flags[ns_type])
 
-setxattr(path filename, name string, val string, size len[val], flags flags[setxattr_flags])
-lsetxattr(path filename,  name string, val string, size len[val], flags flags[setxattr_flags])
-fsetxattr(fd fd,  name string, val string, size len[val], flags flags[setxattr_flags])
-getxattr(path filename,  name string, val buffer[out], size len[val])
-lgetxattr(path filename,  name string, val buffer[out], size len[val])
-fgetxattr(fd fd,  name string, val buffer[out], size len[val])
+setxattr(path filename, name ptr[in, string], val ptr[in, string], size len[val], flags flags[setxattr_flags])
+lsetxattr(path filename,  name ptr[in, string], val ptr[in, string], size len[val], flags flags[setxattr_flags])
+fsetxattr(fd fd,  name ptr[in, string], val ptr[in, string], size len[val], flags flags[setxattr_flags])
+getxattr(path filename,  name ptr[in, string], val buffer[out], size len[val])
+lgetxattr(path filename,  name ptr[in, string], val buffer[out], size len[val])
+fgetxattr(fd fd,  name ptr[in, string], val buffer[out], size len[val])
 listxattr(path filename, list buffer[out], size len[list])
 llistxattr(path filename, list buffer[out], size len[list])
 flistxattr(fd fd, list buffer[out], size len[list])
-removexattr(path filename,  name string)
-lremovexattr(path filename,  name string)
-fremovexattr(fd fd,  name string)
+removexattr(path filename,  name ptr[in, string])
+lremovexattr(path filename,  name ptr[in, string])
+fremovexattr(fd fd,  name ptr[in, string])
 
 resource timerid[int32]
 timer_create(id flags[clock_id], ev ptr[in, sigevent], timerid ptr[out, timerid])