/* sngks32cTimer.h - Samsung KS32C Timer driver header file *//* Copyright 1984-2001 Wind River Systems, Inc. */#include "copyright_wrs.h"/*modification history--------------------01a,12apr01,m_h  created from snds100 template.*/#ifndef __INCsngks32cTimerh#define __INCsngks32cTimerh #ifdef __cplusplusextern "C" {#endif#define SYS_ST_CLK 32768		/*system timer source clock--slow clock 32.768KHz*//* register definitions */#define AT91C_AIC_IECR  	0xFFFFF120 /* AIC Interrupt Enable Command Register *//*========== Register definition for ST peripheral ========== */#define AT91C_ST_CRTR   	0xFFFFFD24 /* ST Current Real-time Register */#define AT91C_ST_IMR    	0xFFFFFD1C /* ST Interrupt Mask Register */#define AT91C_ST_IER    	0xFFFFFD14 /* ST Interrupt Enable Register */#define AT91C_ST_RTMR   	0xFFFFFD0C /* ST Real-time Mode Register */#define AT91C_ST_PIMR   	0xFFFFFD04 /* ST Period Interval Mode Register */#define AT91C_ST_RTAR   	0xFFFFFD20 /* ST Real-time Alarm Register */#define AT91C_ST_IDR    	0xFFFFFD18 /* ST Interrupt Disable Register	*/#define AT91C_ST_SR     	0xFFFFFD10 /* ST Status Register */#define AT91C_ST_WDMR   	0xFFFFFD08 /* ST Watchdog Mode Register */#define AT91C_ST_CR     	0xFFFFFD00 /* ST Control Register */  /* set up timers for Period Interval Timer, don't enable yet #define AT91C_ST_INITIALIZE 0x0*/#ifdef __cplusplus}#endif #endif  /* __INCsngks32cTimerh */