#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.T_SETTIME_NOW = now;
	m.T_CLOCK_ID = clk_id;
	m.T_TIME_SEC = sec;
	m.T_TIME_NSEC = nsec;

	r = _kernel_call(SYS_SETTIME, &m);
	return r;
}