sngks32ctimer.h

Vxworks下BSP源码

/* 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 __cplusplus
extern "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 */