lib/libminlib/getnpid.c

   1 #include <lib.h>
   2 #include <unistd.h>
   3
   4 pid_t getnpid(endpoint_t proc_ep)
   5 {
   6   message m;
   7   m.m1_i1 = proc_ep;            /* search pid for this process */
   8   return _syscall(PM_PROC_NR, GETEPINFO, &m);
   9 }