#include "syslib.h"
#include <time.h>
int sys_settime(int now, clockid_t clk_id, time_t sec, long nsec)
{
message m;
int r;
m.m_lsys_krn_sys_settime.now = now;
m.m_lsys_krn_sys_settime.clock_id = clk_id;
m.m_lsys_krn_sys_settime.sec = sec;
m.m_lsys_krn_sys_settime.nsec = nsec;
r = _kernel_call(SYS_SETTIME, &m);
return r;
}