Searched refs:marvell_bl31_plat_arch_setup (Results 1 – 5 of 5) sorted by relevance
43 marvell_bl31_plat_arch_setup(); in bl31_plat_arch_setup()
207 void marvell_bl31_plat_arch_setup(void) in marvell_bl31_plat_arch_setup() function231 marvell_bl31_plat_arch_setup(); in bl31_plat_arch_setup()
77 void marvell_bl31_plat_arch_setup(void);
121 marvell_bl31_plat_arch_setup(); in bl31_plat_arch_setup()
93 void marvell_bl31_plat_arch_setup(void);
Completed in 4 milliseconds