#include "..\startup\44b.h"
#include "..\inc\44blib.h"

#define	_TICK	1000				//  1/1000 sec
//#define _TICK	100					//  1/100 sec
//#define _TICK	10					//  1/10 sec
//48000000/150/16=20000hz
#define _CLOCK	(200000/_TICK/10)

//defined in target.c"
extern void ARMTargetInit(void);
extern void ARMTargetStart(void);

extern void ARMInstallSystemTimer(void);
extern void ARMInitTimers(void);
extern void ARMStartTimer(void);
extern void ARMInitInterrupts(void);
int		   ARMRequestSystemTimer(void *tick, const unsigned char *str);

extern void BreakPoint(void);
extern void DebugUNDEF(void);
extern void DebugSWI(void);
extern void DebugPABORT(void);
extern void DebugDABORT(void);
extern void DebugFIQ(void);

//defined in os_cpu_a.s
extern void ARMDisableInt(void);
extern void ARMEnableInt(void);
extern void ARMIsDisableInt(void);
extern void TickHandler(void);
extern void OSStartHighRdy(void);

//defined in 44binit
//#define void RESET(void) ResetHandler;