/* sngks32cTimer.h - Samsung S3C44B0X Timer driver header file *//* Copyright 2004-2005 Amine@263.net *//* Copyright 1984-2001 Wind River Systems, Inc. */#include "copyright_wrs.h"/*modification history--------------------01o,27jul04,a_m  BSP定制 for 思創S3C44B0X黃金開發板01a,12apr01,m_h  created from snds100 template.*/#ifndef __INCsngks32cTimerh#define __INCsngks32cTimerh #ifdef __cplusplusextern "C" {#endif /* register definitions */#if 0	/* Amine: deleted */#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#endif/* Amine: added */               #define S3C44B0X_TCFG0            (0x1d50000)#define S3C44B0X_TCFG1            (0x1d50004)#define S3C44B0X_TCON             (0x1d50008)#define S3C44B0X_TCNTB0           (0x1d5000c)#define S3C44B0X_TCMPB0           (0x1d50010)#define S3C44B0X_TCNTO0           (0x1d50014)#define S3C44B0X_TCNTB1           (0x1d50018)#define S3C44B0X_TCMPB1           (0x1d5001c)#define S3C44B0X_TCNTO1           (0x1d50020)#define S3C44B0X_TCNTB2           (0x1d50024)#define S3C44B0X_TCMPB2           (0x1d50028)#define S3C44B0X_TCNTO2           (0x1d5002c)#define S3C44B0X_TCNTB3           (0x1d50030)#define S3C44B0X_TCMPB3           (0x1d50034)#define S3C44B0X_TCNTO3           (0x1d50038)#define S3C44B0X_TCNTB4           (0x1d5003c)#define S3C44B0X_TCMPB4           (0x1d50040)#define S3C44B0X_TCNTO4           (0x1d50044)#define S3C44B0X_TCNTB5           (0x1d50048)#define S3C44B0X_TCNTO5           (0x1d5004c) #ifdef __cplusplus}#endif #endif  /* __INCsngks32cTimerh */