48 #include "sys/clock.h"
53 #define PRINTF(...) printf(__VA_ARGS__)
62 signal(sig, interrupt);
67 rtimer_arch_init(
void)
70 signal(SIGALRM, interrupt);
75 rtimer_arch_schedule(rtimer_clock_t t)
83 val.it_value.tv_sec = c / 1000;
84 val.it_value.tv_usec = (c % 1000) * 1000;
86 PRINTF(
"rtimer_arch_schedule time %u %u in %d.%d seconds\n", t, c, c / 1000,
89 val.it_interval.tv_sec = val.it_interval.tv_usec = 0;
90 setitimer(ITIMER_REAL, &val,
NULL);