www.pudn.com > at91rm9200vxworksbsp.rar > at91Timer.h
/* s3c2510Timer.h - AT91RM9200 timer driver header file */
#ifndef __INCs3c2510Timerh
#define __INCs3c2510Timerh
#ifdef __cplusplus
extern "C" {
#endif
/* Default clock ticks per second */
#define DEF_SYS_CLK_TICKS 60
#define DEF_SYS_AUX_CLK_TICKS 1000
#define DEF_SYS_TIMESTAMP_TICKS 1
#define DEF_TIMER_COUNTER_TICKS 1000
#ifdef __cplusplus
}
#endif
#endif /* __INCs3c2510Timerh */