Added sys_privctl.c.

diff --git a/lib/syslib/Makefile.in b/lib/syslib/Makefile.in
index 1fb9b74dc38a0cace4c5328f03eb58c0578b2307..295286ddad915963691ad5155a9fc01b520fa78a 100644 (file)
--- a/lib/syslib/Makefile.in
+++ b/lib/syslib/Makefile.in
@@ -43,7 +43,7 @@ libsys_FILES=" \
        sys_setalarm.c \
        sys_sigreturn.c \
        sys_sigsend.c \
-       sys_svrctl.c \
+       sys_privctl.c \
        sys_times.c \
        sys_trace.c \
        sys_umap.c \

diff --git a/lib/syslib/sys_privctl.c b/lib/syslib/sys_privctl.c
new file mode 100644 (file)
index 0000000..ed05f31
--- /dev/null
+++ b/lib/syslib/sys_privctl.c
@@ -0,0 +1,13 @@
+#include "syslib.h"
+
+int sys_privctl(int proc, int request, int i, vir_bytes p)
+{
+  message m;
+
+  m.CTL_PROC_NR = proc;
+  m.CTL_REQUEST = request;
+  m.CTL_MM_PRIV = i;
+  m.CTL_ARG_PTR = (char *) p;
+
+  return _taskcall(SYSTASK, _SYS_PRIVCTL, &m);
+}