/* sngks32cTimer.h - Samsung S3C44B0X Timer driver header file */


/* Copyright 1984-2001 Wind River Systems, Inc. */
#include "copyright_wrs.h"

/*
modification history
--------------------
01o,27jul04,a_m  BSP定制 for 多刃劍開發板
01a,12apr01,m_h  created from snds100 template.
*/

#ifndef __INCsngks32cTimerh
#define __INCsngks32cTimerh
 
#ifdef __cplusplus
extern "C" {
#endif
 
/* register definitions */

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