s3c44b0xtimer.h

VxWorks BSP for S3C44B0X

/* 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 __cplusplus
extern "C" {
#endif

#define  PRESCALER2    (32)
#define  MUX5          (0)
#define  COUNT         (S3C44B0X_CPU_SPEED/(2*PRESCALER2))

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