void bl31_platform_setup(void) { platform_setup_cpu(); generic_delay_timer_init(); plat_mt_gic_driver_init(); /* Initialize the gic cpu and distributor interfaces */ plat_mt_gic_init(); /* Topologies are best known to the platform. */ mt_setup_topology(); }
/******************************************************************************* * Perform any BL3-1 platform setup code ******************************************************************************/ void bl31_platform_setup(void) { platform_setup_cpu(); platform_setup_sram(); plat_delay_timer_init(); /* Initialize the gic cpu and distributor interfaces */ plat_mt_gic_init(); arm_gic_setup(); /* Topologies are best known to the platform. */ mt_setup_topology(); /* Initialize spm at boot time */ spm_boot_init(); }