diff --git a/lib/syslib/Makefile.in b/lib/syslib/Makefile.in
index 1fb9b74dc..295286dda 100644
--- 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
index 000000000..ed05f3105
--- /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);
+}