#include "datatype.h"
#include "console.h"
#include "ctrl_set.h"
#include "D12Def.h"

extern U32 MCLK;

TIME_STRUC SysTime;
U16	SERIAL_BAUD = 57600;
char table_begin[] = "/***************************************************************/\n";

void ShowSysClock(int argc, char *argv[])
{
	printf("System is running @%dHz\n", MCLK);	
}


int main(void)
//#pragma import(__use_no_semihosting_swi)
{
	int i;
		
	ChangePllValue(24, 6, 1);	//修改系統主頻為2倍頻
	PortInit();
	console_init(115200);	
	
	next_line();
	puts(table_begin);	
	puts("UCOSII for S3C44B0x\n");
	ShowSysClock(0, NULL);	
	printf("Serial Baud rate is %d\n", SERIAL_BAUD);
	puts("Build date:");
	puts(__DATE__);
	putch('-');
	puts(__TIME__);
	next_line();
	puts(table_begin);
	
	SysTime.year    = 3;
	SysTime.month   = 7;
	SysTime.day     = 2;
	SysTime.weekday = 3;
	SysTime.hour    = 0x17;
	SysTime.min     = 0x09;
	SysTime.sec     = 0;
	
	RtcSetDay(&SysTime);
	RtcSetTime(&SysTime);			
	
	
	puts("System Initialized.\n");		
	
	if(UsbRdChipId()==0x1210)
	{
		puts("Find Pdiusbd12, chip id = 0x1210");
		
		UsbInit();
		
		while(1)
		{
			i = UsbQueryInt();
			UsbIntProc(i);			
		}
	}
}

U32 pIrqStart, pIrqFinish, pIrqHandler;