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(); }
/******************************************************************************* * Perform any BL3-1 platform setup code ******************************************************************************/ void bl31_platform_setup(void) { platform_setup_cpu(); platform_setup_sram(); generic_delay_timer_init(); /* Initialize the gic cpu and distributor interfaces */ plat_arm_gic_driver_init(); plat_arm_gic_init(); #if ENABLE_PLAT_COMPAT /* Topologies are best known to the platform. */ mt_setup_topology(); #endif /* Initialize spm at boot time */ spm_boot_init(); }
int platform_init() { // Complete CPU initialization platform_setup_cpu(); // External memory platform_setup_extmem(); // Setup peripherals platform_setup_timers(); platform_setup_pwm(); #ifdef BUILD_ADC // Setup ADCs platform_setup_adcs(); #endif // Common platform initialization code cmn_platform_init(); return PLATFORM_OK; }