rtimer-arch.h

Go to the documentation of this file.
00001 /**
00002  * \file
00003  *         Header file for the AT91SAM7S-specific rtimer code
00004  * \author
00005  *         Simon Berg <ksb@users.sourceforge.net>
00006  */
00007 
00008 #ifndef __RTIMER_ARCH_H__
00009 #define __RTIMER_ARCH_H__
00010 
00011 #include "sys/rtimer.h"
00012 
00013 #define RTIMER_ARCH_TIMER_ID AT91C_ID_TC1
00014 #define RTIMER_ARCH_TIMER_BASE AT91C_BASE_TC1
00015 
00016 #define RTIMER_ARCH_SECOND (MCK/1024)
00017 
00018 void rtimer_arch_set(rtimer_clock_t t);
00019 
00020 rtimer_clock_t rtimer_arch_now(void);
00021 
00022 #endif /* __RTIMER_ARCH_H__ */