/* Basic hardware initialization of the Cyclone V SoC FPGA. 
Performs the basic initialization of the Cyclone V SoC FPGA. */
static int soc_intel_cyclonev_init(void)
/* Basic hardware initialization of the Cyclone V SoC FPGA. 
Performs the basic initialization of the Cyclone V SoC FPGA. */
static int soc_intel_cyclonev_init(void)
{
	unsigned int sctlr = __get_SCTLR();
	sctlr &= ~SCTLR_A_Msk;
	__set_SCTLR(sctlr);
	__set_VBAR(0);
	return 0;
}