/* lpc2210Timer.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 精英arm7開發板
01a,12apr01,m_h  created from snds100 template.
*/

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

void SysClearClockInterrupt();

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