46 #include "dev/watchdog.h"
51 #define PRINTF(...) printf(__VA_ARGS__)
57 #ifdef __IAR_SYSTEMS_ICC__
58 #pragma vector=TIMERA0_VECTOR
61 interrupt(TIMERA0_VECTOR)
64 ENERGEST_ON(ENERGEST_TYPE_IRQ);
76 ENERGEST_OFF(ENERGEST_TYPE_IRQ);
80 rtimer_arch_init(
void)
94 rtimer_clock_t t1, t2;
103 rtimer_arch_schedule(rtimer_clock_t t)
105 PRINTF(
"rtimer_arch_schedule time %u\n", t);