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