minix3/lib/libsys/kernel_call.c

#include <lib.h>
#include <minix/syslib.h>

int _kernel_call(int syscallnr, message *msgptr)
{
  msgptr->m_type = syscallnr;
  do_kernel_call(msgptr);
  return(msgptr->m_type);
}