s3c2410xtimer.h

s3c2410的vxworks bsp,运行良好

/* s3c2410xTimer.h - Samsung S3C2410X Timer driver header file */



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


#ifndef __INCs3c2410xTimerh
#define __INCs3c2410xTimerh
 
#ifdef __cplusplus
extern "C" {
#endif
 


#ifdef __cplusplus
}
#endif
 
#endif  /* __INCs3c2410xTimerh */