#include <time.h>
+#include <setjmp.h>
#include "pthread_impl.h"
struct ksigevent {
return 0;
}
-int timer_create(clockid_t clk, struct sigevent *evp, timer_t *res)
+int timer_create(clockid_t clk, struct sigevent *restrict evp, timer_t *restrict res)
{
static pthread_once_t once = PTHREAD_ONCE_INIT;
pthread_t td;