42 #include "dev/watchdog.h" 43 #include "isr_compat.h" 48 #define PRINTF(...) printf(__VA_ARGS__) 54 ISR(TIMER1_A0, timera0)
82 rtimer_clock_t t1, t2;
93 PRINTF(
"rtimer_arch_schedule time %u\n", t);
rtimer_clock_t rtimer_arch_now()
Returns the current real-time clock time.
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.
void watchdog_start(void)
Starts the WDT in watchdog mode if enabled by user configuration, maximum interval.
Header file for the real-time timer module.
Header file for the Contiki process interface.
int process_nevents(void)
Number of events waiting to be processed.
void watchdog_stop(void)
Stops the WDT such that it won't timeout and cause MCU reset.