43 #include "dev/watchdog.h" 
   44 #include "isr_compat.h" 
   49 #define PRINTF(...) printf(__VA_ARGS__) 
   55 ISR(TIMER1_A0, timera0)
 
   57   ENERGEST_ON(ENERGEST_TYPE_IRQ);
 
   69   ENERGEST_OFF(ENERGEST_TYPE_IRQ);
 
   87   rtimer_clock_t t1, t2;
 
   98   PRINTF(
"rtimer_arch_schedule time %u\n", t);
 
int process_nevents(void)
Number of events waiting to be processed. 
 
void watchdog_start(void)
Starts the WDT in watchdog mode if enabled by user configuration, maximum interval. 
 
void rtimer_arch_init(void)
We don't need to explicitly initialise anything but this routine is required by the API...
 
#define rtimer_arch_now()
 
    Header file for the energy estimation mechanism  
 
void watchdog_stop(void)
In watchdog mode, the WDT can not be stopped. 
 
    Header file for the real-time timer module. 
 
Header file for the Contiki process interface. 
 
void rtimer_arch_schedule(rtimer_clock_t t)
Schedules an rtimer task to be triggered at time t. 
 
void rtimer_run_next(void)
Execute the next real-time task and schedule the next task, if any.