47 #include "sys/clock.h"
52 #define PRINTF(...) printf(__VA_ARGS__)
61 signal(sig, interrupt);
69 signal(SIGALRM, interrupt);
82 val.it_value.tv_sec = c / 1000;
83 val.it_value.tv_usec = (c % 1000) * 1000;
85 PRINTF(
"rtimer_arch_schedule time %u %u in %d.%d seconds\n", t, c, c / 1000,
88 val.it_interval.tv_sec = val.it_interval.tv_usec = 0;
89 setitimer(ITIMER_REAL, &val,
NULL);