minix3/lib/libsys/sys_stime.c

#include "syslib.h"

int sys_stime(boottime)
time_t boottime;		/* New boottime */
{
  message m;
  int r;

  m.m_lsys_krn_sys_stime.boot_time = boottime;
  r = _kernel_call(SYS_STIME, &m);
  return(r);
}