#include "ccblkfn.h"
#include "sysreg.h"

#include <sys\exception.h>
#include <cdefBF533.h>

extern void InitEBIU(void);
extern void Init_PLL(void);

void InitEBIU(void)
{
	*pEBIU_AMBCTL0	= 0x7bb07bb0;
	*pEBIU_AMBCTL1	= 0x7bb0fff0;
	*pEBIU_AMGCTL	= 0x000f;
}

void Init_PLL(void)
{	
	*pPLL_DIV = 0x002f;//sysclk is 40MHz

}