lib/syslib/sys_privctl.c

   1 #include "syslib.h"
   2
   3 int sys_privctl(endpoint_t proc_ep, int request, void *p)
   4 {
   5   message m;
   6
   7   m.CTL_ENDPT = proc_ep;
   8   m.CTL_REQUEST = request;
   9   m.CTL_ARG_PTR = p;
  10
  11   return _taskcall(SYSTASK, SYS_PRIVCTL, &m);
  12 }
  13
  14 int sys_privquery_mem(endpoint_t proc_ep, phys_bytes start, phys_bytes len)
  15 {
  16   message m;
  17
  18   m.CTL_ENDPT = proc_ep;
  19   m.CTL_REQUEST = SYS_PRIV_QUERY_MEM;
  20   m.CTL_PHYSSTART = start;
  21   m.CTL_PHYSLEN = len;
  22
  23   return _taskcall(SYSTASK, SYS_PRIVCTL, &m);
  24 }