13 #define RTIMER_ARCH_TIMER_ID AT91C_ID_TC1
14 #define RTIMER_ARCH_TIMER_BASE AT91C_BASE_TC1
16 #define RTIMER_ARCH_SECOND (MCK/1024)
18 void rtimer_arch_set(rtimer_clock_t t);
Header file for the real-time timer module.
rtimer_clock_t rtimer_arch_now(void)
Returns the current real-time clock time.