// --- /usr/src/mm/main.c
PUBLIC int do_getprocid(void)
{
  unsigned i;
  for(i=0; i<NR_PROCS; i++)
    if((mproc[i].mp_flags & IN_USE) && mproc[i].mp_pid == pid)
      return i;
  return ENOENT;
}
// --- testproc.c
#include <lib.h>
#include <stdio.h>

int getprocnr(int pid)
{
  message msg;
  msg.m1_i1 = pid;
  return _syscall(MM, GETPROCID, &msg);
}

int main(int argc, char *argv[])
{
  int pid = atoi(argv[1]);
  int i = 0;
  for(; i <= 10; i++) printf("%d: %d\n", pid+i, getprocnr(pid+i));
  return 0;
}