#include "syscalls.h"

#ifdef __NR_stime
syscall(stime,stime)
#endif