47 #include "sys/clock.h" 52 #define PRINTF(...) printf(__VA_ARGS__) 61 signal(sig, interrupt);
69 signal(SIGALRM, interrupt);
85 PRINTF(
"rtimer_arch_schedule time %"PRIu32
" %"PRIu32
" in %ld.%ld seconds\n",
86 t, c, (
long)val.it_value.tv_sec, (
long)val.it_value.tv_usec);
88 val.it_interval.tv_sec = val.it_interval.tv_usec = 0;
89 setitimer(ITIMER_REAL, &val, NULL);
void rtimer_arch_schedule(rtimer_clock_t t)
Schedules an rtimer task to be triggered at time t.
void rtimer_arch_init(void)
We don't need to explicitly initialise anything but this routine is required by the API...
void rtimer_run_next(void)
Execute the next real-time task and schedule the next task, if any.
#define CLOCK_SECOND
A second, measured in system clock time.
Header file for the real-time timer module.
clock_time_t clock_time(void)
Get the current clock time.