void bl31_platform_setup(void) { /* init the GICv3 cpu and distributor interface */ plat_gic_driver_init(); plat_gic_init(); /* gpc init */ imx_gpc_init(); }
void bl31_platform_setup(void) { generic_delay_timer_init(); /* select the CKIL source to 32K OSC */ mmio_write_32(IMX_ANAMIX_BASE + ANAMIX_MISC_CTL, 0x1); plat_gic_driver_init(); plat_gic_init(); imx_gpc_init(); }