www.pudn.com > vXworksBSPfors3c44b0.rar > sngks32cTimer.h

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