sngks32ctimer.h

基于4510的 （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
 
/* register definitions */
 
#define SNGKS32C_TIMER_TMOD		(ASIC_BASE + 0x6000) /* TMOD    (R/W) */
#define SNGKS32C_TIMER_TDATA_0	(ASIC_BASE + 0x6004) /* TDATA0  (R/W) */
#define SNGKS32C_TIMER_TDATA_1	(ASIC_BASE + 0x6008) /* TDATA1  (R/W) */
#define SNGKS32C_TIMER_TCNT_0	(ASIC_BASE + 0x600C) /* TCNT0   (R/W) */
#define SNGKS32C_TIMER_TCNT_1	(ASIC_BASE + 0x6010) /* TCNT1   (R/W) */
 
/* set up timers for intrerval mode, don't enable yet */
#define SNGKS32C_TIMER_INITIALIZE 0x0

#ifdef __cplusplus
}
#endif
 
#endif  /* __INCsngks32cTimerh */