Added sys_privctl.c.

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 \

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);
+}