42#include "dev/watchdog.h"
43#include "isr_compat.h"
48#define PRINTF(...) printf(__VA_ARGS__)
54ISR(TIMER1_A0, timera0)
82 rtimer_clock_t t1, t2;
93 PRINTF(
"rtimer_arch_schedule time %u\n", t);
void rtimer_arch_init(void)
We don't need to explicitly initialise anything but this routine is required by the API.
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 watchdog_start(void)
Starts the WDT in watchdog mode if enabled by user configuration, maximum interval.
void watchdog_stop(void)
Stops the WDT such that it won't timeout and cause MCU reset.
int process_nevents(void)
Number of events waiting to be processed.
void rtimer_run_next(void)
Execute the next real-time task and schedule the next task, if any.
Header file for the Contiki process interface.
Header file for the real-time timer module.