33 #ifndef RTIMER_ARCH_H_ 34 #define RTIMER_ARCH_H_ 37 #include "sys/clock.h" 39 #define RTIMER_ARCH_SECOND UINT64_C(1000000) 41 #define US_TO_RTIMERTICKS(US) (US) 42 #define RTIMERTICKS_TO_US(T) (T) 43 #define RTIMERTICKS_TO_US_64(T) (T) 46 int rtimer_arch_check(
void);
47 int rtimer_arch_pending(
void);
48 rtimer_clock_t rtimer_arch_next(
void);
rtimer_clock_t rtimer_arch_now(void)
Returns the current real-time clock time.