void serial0_RxISR(void) __irq; 

void InitSerial0(unsigned long baudrate);
void InitSerial0Int(unsigned isrPtr);
void putCharS0 (unsigned char ch);
void putStrS0 (const unsigned char *string);
unsigned char getCharS0 (void);
//unsigned char *getStrS1(void);
void getStrS0(unsigned char *string);
void lineFeed0(void);
void setClock(void);


#define Fpclk	60000000.0

#define F_XTAL  12
#define F_CLK  	60
#define F_PCLK  60

#define T_Tick	(1.0/(F_PCLK /1000.0))			// ns