#include <sys/time.h>
#include "syscall.h"
-int setitimer(int which, const struct itimerval *new, struct itimerval *old)
+int setitimer(int which, const struct itimerval *restrict new, struct itimerval *restrict old)
{
return syscall(SYS_setitimer, which, new, old);
}