#include <cdefBF533.h>
#include <ccblkfn.h>
#include <sysreg.h>
#include "pll_detect.h"
#include "ebiu.h"
#include "pll.h"
#include "core_timer.h"

void dsp_init()
{
	sysreg_write(reg_SYSCFG, 0x32);		//Initialize System Configuration Register

	*pSIC_IWR = 0x1;					//Initialize Interrupt Wakeup-Enable Register
	*pPLL_CTL = PLL_MSEL << 9;			//Initialize PLL Control Register
	*pPLL_DIV = PLL_SSEL;
//	*pPLL_CTL |= PLL_OFF;
	
	ssync();
	idle();

	delay_init();
	
	Init_EBIU();
	
//	cache_init();

	//xbwang020_413
	ctimer_init();
}