-int timer_settime(timer_t t, int flags, const struct itimerspec *val, struct itimerspec *old)
+int timer_settime(timer_t t, int flags, const struct itimerspec *restrict val, struct itimerspec *restrict old)
return syscall(SYS_timer_settime, (long)t, flags, val, old);
}
return syscall(SYS_timer_settime, (long)t, flags, val, old);
}