/* 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 /* 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 */