#include "syslib.h"

/*===========================================================================*
 *                                sys_exit			     	     *
 *===========================================================================*/
int sys_exit()
{
/* A system process requests to exit. */
  message m;

  return(_kernel_call(SYS_EXIT, &m));
}